Bourbaki

Exercice 1, § 1

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

Théorie des ensembles, II

Montrer que la relation

(x=y)⇔(∀X)((x∈X)⇒(y∈X)) (x = y) \Leftrightarrow (\forall X)((x \in X) \Rightarrow (y \in X))
est un théorème.

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.