Gödel無矛盾文
#無矛盾性を表す文
ある理論で証明できない命題が存在するならその理論は少なくとも矛盾していない