The proposition that every proper ideal of a Boolean algebra can be extended to a maximal ideal. It is equivalent to the Boolean representation theorem, which can be proved without using the axiom of choice.
We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.