トップページ⇒math

1001コメント376KB

数学基礎論・数理論理学　その8

■ このスレッドは過去ログ倉庫に格納されています

0136１３２人目の素数さん

2011/07/05(火) 21:14:35.20

第2不完全性って、第1不完全性定理を形式化して証明するんじゃ
なかったっけ？

■ このスレッドは過去ログ倉庫に格納されています