自然言語的不完全性定理
「この文は証明できない」という文は、証明できると仮定すればこの文は証明できないことを示しているから矛盾し、証明できないと仮定すればこの文は真である一方で証明できない、つまり不完全である。また、系が無矛盾であれば「この文は証明できない」という文は真であり、系は自身の無矛盾性を証明できない。
Home