長州こりきさんの公開ページ 復刊投票コメント一覧

数学は完全に公理化され、形式化されるといわれるが、現実に
そのような体系をみたことがない。

たしかに、数学は述語論理に数学の公理をつけくわえれば、数学を作ることができる。

ここから、演繹体系を形式化していけば、数学の形式的体系をつくることができるはずである。

しかし、それを実行した本を見たことがない。

ところが、この本は、それを実行しているといううわさである。

そこで、数学の形式体系のすがたを確認したいから、復刊おねがい。