ゲーデルの不完全性定理 自然数論を含む帰納的に記述できる公理系が、無矛盾であれば自身の無矛盾性を証明できない（第2不完全性定理） The consistency of certain theories cannot be proved from the axioms of those theories themselves.

INDEX

AliceGallery StrataDictionary

(c) 1995 - 2022 AliceGallery