Every Boolean algebra is isomorphic to the Boolean algebra of sets. The theorem is equivalent to the maximal ideal theorem, which can be proved without using the axiom of choice.

Boolean algebra | maximal ideal theorem

George Boole