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