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