トップページ⇒math

1001コメント392KB

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

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

0577１３２人目の素数さん

2011/04/29(金) 23:44:05.25

>>571
それ「独立 independent」じゃなくて普通に「証明不可能 unprovable」で良い話だよね

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