1001コメント525KB

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

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

0116１３２人目の素数さん

2012/07/24(火) 20:10:27.62

ω無矛盾とすればいいんじゃなかったっけ
記憶違いだったらスマン

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