「空集合」は「集合」だよ、という公理

公理

\exist A\forall x(x\not\in A)

めちゃくちゃアタリマエのことを言っている感じがするが、そもそも「集合とは何か」という話をしている最中なので仕方がない

「要素を持たないやつ」も「集合に含めるよ」という主張