1001コメント392KB

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

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

0724１３２人目の素数さん

2011/06/11(土) 10:41:51.18

直感主義述語論理の強完全性定理の証明にはACA0があればおｋ
つまりRCA0 + arithmetical comprehension axiom

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