長州こりきさんのページ

数学は完全に公理化され、形式化されるといわれるが、現実に そのような体系をみたことがない。 たしかに、数学は述語論理に数学の公理をつけくわえれば、数学を作ることができる。 ここから、演繹体系を形式化していけば、数学の形式的体系...