766コメント655KB

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

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

0580１３２人目の素数さん

2012/05/26(土) 10:35:11.98

>>575
馬鹿過ぎる
二重否定除去を推論規則として採用すれば
矛盾からは何でも～の推論は定理として証明できる

ほんとに何も知らんのだな
英語版wikiで証明見てこいよ

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