トップページ⇒math

984コメント406KB

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

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

0201１３２人目の素数さん

2014/11/25(火) 07:30:00.83

>>198
完全性＝正しい命題は証明可能＝否定が証明不可能な命題は証明可能
とみれば一応整合性はとれるんじゃない？

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