Exercice 2, § 3

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

Théorie des ensembles, I

Soit $A$ une relation d’une théorie logique $\mathscr{T}$ . Si $A \leftrightarrow (\operatorname{non} A)$ est un théorème de $\mathscr{T}$ , $\mathscr{T}$ est contradictoire.