text: Используя указанные имена, «аксиому пустого множества» записывают так: ∀ b ( b ∉ ∅ ) {\displaystyle \forall b\ (b\notin \varnothing )} и ∀ b ( b ∉ { } ) {\displaystyle \forall b\ (b\notin \{\})} ∃ a ( ∅ ∈ a ∧ ∀ b ( b ∈ a → b ∪ { b } ∈ a ) ) {\displaystyle \exists a\ (\varnothing \in a\ \land \ \forall b\ (b\in a\to b\cup \{b\}\in a)\ )} , где b ∪ { b } = { c : c ∈ b ∨ c = b } {\displaystyle b\cup \{b\}=\{c\colon c\in b\ \lor \ c=b\}} Примечание «Аксиому бесконечности» можно сформулировать следующим образом: «Существует „бесконечное множество“, которое состоит из ∅ , ∅ ∪ { ∅ } , ∅ ∪ { ∅ } ∪ { ∅ ∪ { ∅ } } , … {\displaystyle \varnothing ,\ \ \varnothing \cup \{\varnothing \},\ \ \varnothing \cup \{\varnothing \}\cup \{\varnothing \cup \{\varnothing \}\},\ \ldots } .»