1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0550１３２人目の素数さん

2011/04/25(月) 07:12:08.71

いや述語論理の独立性の話だろ
Principia Mathemticaの公理なんか
独立じゃないことが数十年後に判ったんだぞ

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