ブール素イデアル定理

3行要約

1. 任意のブール代数に少なくとも一つの素イデアルが存在することを示す定理。
2. 選択公理よりは弱いが、数学の多くの重要な帰結を導き出すことができる。
3. 論理学の完全性定理やコンパクト性定理の証明において不可欠な役割を持つ。