廣義完備性定理

另請參閱

選擇公理

使用 探索

參考文獻

Mendelson, E. 數理邏輯導論，第 4 版。 倫敦: Chapman & Hall, p. 121, 1997.

在 上被引用

廣義完備性定理

請引用為

韋斯坦因，埃裡克·W. "廣義完備性定理。" 來自 —— 資源。 https://mathworld.tw/GeneralizedCompletenessTheorem.html

主題分類