1001コメント392KB

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

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

0726１３２人目の素数さん

2011/06/11(土) 10:43:46.62

古典論理だとWKL0だから、RCA0 + weak K nig's lemma

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