text: Аксиома существования булеана (аксиома множества подмножеств) формулируется так: «из любого множества можно образовать булеан, то есть такое множество d {\displaystyle d} , которое состоит из всех собственных и несобственных подмножеств b {\displaystyle b} данного множества a {\displaystyle a} ».