ヒルベルトのプログラム作成の伝統で正式な修正 (証拠、検証によってチェック可能) (のような普通のラテックス教科) 読み取り可能な数学の知識ベースはインターネット内で自由にアクセス可能であるが。ロジックと集合論を始めた。