Axiomatization of Boolean algebras