一個公理化理論(例如幾何學)被稱為完備的,如果該理論中的每個有效陳述都能夠被證明為真或假。
完備公理化理論
另請參閱
相容性使用 探索
請引用為
Weisstein, Eric W. “完備公理化理論。” 來自 --一個 資源。 https://mathworld.tw/CompleteAxiomaticTheory.html
一個公理化理論(例如幾何學)被稱為完備的,如果該理論中的每個有效陳述都能夠被證明為真或假。
Weisstein, Eric W. “完備公理化理論。” 來自 --一個 資源。 https://mathworld.tw/CompleteAxiomaticTheory.html