ヒルベルトの第２問題（続き）

この時代には、まだ、第１階算術ＰＡどころか、第１階述語計算という概念すらない。

というより、形式系といえるものは、フレーゲの理論を除いて存在していない。そして、そのフレーゲを、ヒルベルトは、ほぼ無視していた。

注意：ペアノの論理学は、実用的だったが、形式系とはいいがたい面があった。

前のｽﾗｲﾄﾞ次のｽﾗｲﾄﾞ最初のｽﾗｲﾄﾞに戻るｸﾞﾗﾌｨｯｸｽの表示