数学基礎論・数理論理学のスレッド その7
■ このスレッドは過去ログ倉庫に格納されています
0563１３２人目の素数さん
2011/04/26(火) 11:09:34.17> 与えられた体系の中での命題の独立性と、
> 公理系そのものの独立性の話の話は区別しないと。
前者はどういう意味?
ある形式系で命題が形式系の他の公理から独立なら
それは公理として認めないと真には成り得ないけど?
後者の「公理系そのものの独立性」って公理系が何対して独立なの?
■ このスレッドは過去ログ倉庫に格納されています