どんな形式的体系も、それが無矛盾である限り、不完全である。 クルト・ゲーデル「不完全性定理」
750791 journal nidakの日記: !完全==不完全 日記 by nidak 2001年06月09日 17時52分 どんな形式的体系も、それが無矛盾である限り、不完全である。 クルト・ゲーデル「不完全性定理」