Gelijkheidsaxioma: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 2:
== Formele verklaring ==
In de taal van
: <math>\forall x \forall y ( x=y \Longleftrightarrow \forall z ( z \in x \Longleftrightarrow z \in y ) )</math>
In woorden: twee verzamelingen <math> x </math> en <math> y </math> zijn gelijk aan elkaar, precies wanneer alle elementen van <math> x </math> ook een element van <math> y </math> zijn, en vice versa.
|