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