Exercice 2, § 1

Étiquette 03HB, permanente. À citer comme [Bourbaki, Tag 03HB].

Théorie des ensembles, II

Montrer que $\varnothing \neq \{x\}$ est un théorème; en déduire qu’il en est de même de $(\exists x)(\exists y)(x \neq y)$ .