命題：布林代數的每個真理想都可以擴充套件為極大理想。它等價於布林表示定理，後者可以在不使用選擇公理的情況下證明（Mendelson 1997，第 121 頁）。
極大理想定理
另請參閱
布林表示定理使用 探索
參考文獻
Lós, J. “關於哥德爾關於不可數理論的定理。”Bull. de l'Acad. Polon. des Sci. 3, 319-320, 1954.Mendelson, E. 數理邏輯導論，第 4 版 倫敦：Chapman & Hall，第 121 頁，1997 年。Rasiowa, H. 和 Sikorski, R. “哥德爾完備性定理的證明。”Fund. Math. 37, 193-200, 1951.Rasiowa, H. 和 Sikorski, R. “Skolem-Löwenheim 定理的證明。”Fund. Math. 38, 230-232, 1952.在 中被引用
極大理想定理請引用為
Weisstein, Eric W. “極大理想定理。”來自 —— 資源。https://mathworld.tw/MaximalIdealTheorem.html