全ての命題が真かもしれないという事実

[0158 １３２人目の素数さん 2020/08/06(木) 11:56:45.90 ID:B1aog4Rp]

>>155
> それは証明の仕組みという論理の部分ですから
公理系というのは推論規則などの論理も含む。
論理だから関係ないというのは間違い。