トップページ
⇒
math
1001コメント
405KB
数学基礎論・数理論理学 その10
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0488
１３２人目の素数さん
2011/11/24(木) 22:06:24.94
>>483
同じ。
>>485
対角定理で証明も反証もできない論理式をつくる。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています