1001コメント405KB

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

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

0074１３２人目の素数さん

2011/10/30(日) 20:43:44.52

「超越的な方法」というのがWKLのことなら、
WKL が PRA 上の保存拡大だから「結果的に有効」なんじゃない？

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