古典論理の無矛盾性証明
#無矛盾性証明
シンタティクには
カット除去定理からの無矛盾性証明
で証明できる