„Osztály (halmazelmélet)” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Syp (vitalap | szerkesztései)
Syp (vitalap | szerkesztései)
13. sor:
== Osztályok a formális nyelvi halmazelméletben ==
 
A Zeremlo-Fraenkel-halmazelméletben ('''ZF''') az "osztály"„osztály” formális kifejezése nem szerepel, hiszen '''ZF'''-ben minden változó halmazváltozó, azaz individuumot jelöl. Lehetőség van azonban az osztályt meghatározó tulajdonságon keresztül hivatkozni az osztályra.
 
[[Kategória: Halmazelmélet]]