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