14/07/01 00:11:12.76
「公理系の完全性と無矛盾性は両立できない。公理系が無矛盾なら不完全である」
「公理系が、無矛盾であれば、自身の無矛盾性を証明できない」
でも別な公理体系からみれば裸の王様なのは一目瞭然♪
14/07/01 00:11:12.76
「公理系の完全性と無矛盾性は両立できない。公理系が無矛盾なら不完全である」
「公理系が、無矛盾であれば、自身の無矛盾性を証明できない」
でも別な公理体系からみれば裸の王様なのは一目瞭然♪
14/07/01 00:11:12.76
「公理系の完全性と無矛盾性は両立できない。公理系が無矛盾なら不完全である」
「公理系が、無矛盾であれば、自身の無矛盾性を証明できない」
でも別な公理体系からみれば裸の王様なのは一目瞭然♪