984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

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

0089１３２人目の素数さん

2014/11/22(土) 08:12:33.86

「第3完全性」とか「妙緩健全性」ってちゃんとした名前ないの？

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