1001コメント392KB

数学基礎論・数理論理学　その9

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

0199１３２人目の素数さん

2011/10/08(土) 21:24:01.03

Rossor定義でのTの無矛盾性を表す論理式が証明可能な意味が分からん
ゲーデルの第２不完全定理と矛盾しないの？

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