トップページ
⇒
math
984コメント
406KB
数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0600
１３２人目の素数さん
2015/02/07(土) 21:37:47.36
ID:4hwvFWuE
>>598
形式的証明とは実際に書き下されたものだけを指す。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています