11/04/26 11:09:34.17
>>552
> 与えられた体系の中での命題の独立性と、
> 公理系そのものの独立性の話の話は区別しないと。
前者はどういう意味?
ある形式系で命題が形式系の他の公理から独立なら
それは公理として認めないと真には成り得ないけど?
後者の「公理系そのものの独立性」って公理系が何対して独立なの?
11/04/26 11:09:34.17
>>552
> 与えられた体系の中での命題の独立性と、
> 公理系そのものの独立性の話の話は区別しないと。
前者はどういう意味?
ある形式系で命題が形式系の他の公理から独立なら
それは公理として認めないと真には成り得ないけど?
後者の「公理系そのものの独立性」って公理系が何対して独立なの?