qedeq_0.04.04_unx.tar.bz2 (qedeq_0.04.04_unx.tar.bz2( 外部リンク: SF.net): 7,506,642 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
ヒルベルトのプログラム作成の伝統で正式な修正 （証拠、検証によってチェック可能） （のような普通のラテックス教科） 読み取り可能な数学の知識ベースはインターネット内で自由にアクセス可能であるが。ロジックと集合論を始めた。
