空集合の公理
「空集合」は「集合」だよ、という公理
公理
$ \exist A\forall x(x\not\in A)
めちゃくちゃアタリマエのことを言っている感じがするが、そもそも「集合とは何か」という話をしている最中なので仕方がないmrsekut.icon
「要素を持たないやつ」も「集合に含めるよ」という主張