<br>つまりCon(T)は、Tの無矛盾性を完全に表現するものではない<br>ってことになります。prove(x,[P])⇒Pも証明できませんが、これの否定が真であるモデルは、当然非健全です。02:34)>たけおさん<br>おお、会社経由で使えるんですね。さん<br>はじめまして。Con(T)は、Tの無矛盾性を完全に表現するものではないってことになります。prove(x,[P])⇒Pも証明できませんが、これの否定が真であるモデルは、当然非健全です。