トップページ⇒math

1001コメント525KB

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

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

0786１３２人目の素数さん

2012/09/17(月) 05:38:24.54

∀xA(x) -> ∃xA(x) が論理的帰結にならないような証明体系ってどんなのがあるの？

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