1001コメント392KB

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

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

0367１３２人目の素数さん

2011/02/22(火) 23:35:42.32

有限の立場では、背理法の無制限な使用は認められますか？

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