トップページ⇒math

766コメント655KB

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

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

0326１３２人目の素数さん

2012/04/29(日) 15:13:26.84

>>325
それは形式的証明にも同じことが言えるよね

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