Exercice 6, § 1

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

Théorie des ensembles, II

Soit $\mathscr{T}$ une théorie égalitaire dans laquelle figure le signe $\in$ , et qui comporte l’axiome suivant: Al'

(\forall y)(y = \tau_x((\forall z)(z \in x \Leftrightarrow z \in y)))

(autrement dit: « tout terme est égal à l’ensemble de ses éléments »). Montrer que l’axiome d’extensionalité Al est un théorème de

\mathscr{T}

Solution

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

Cité par

Rien.

Rien.