復刊リクエスト投票

• 数学の基礎

  【著者】島内剛一

  数学は完全に公理化され、形式化されるといわれるが、現実に
  そのような体系をみたことがない。
  
  たしかに、数学は述語論理に数学の公理をつけくわえれば、数学を作ることができる。
  
  ここから、演繹体系を形式化していけば、数学の形式的体系をつくることができるはずである。
  
  しかし、それを実行した本を見たことがない。
  
  ところが、この本は、それを実行しているといううわさである。
  
  そこで、数学の形式体系のすがたを確認したいから、復刊おねがい。(2008/07/06)