„Neumann–Bernays–Gödel-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
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
47. sor:
:[[A regularitás axiómája|'''A<small> JÓLFUNDÁLTSÁG AXIÓMÁJA</small>''']] – Egy nemüres halmaznak mindig van olyan eleme, mellyel már nincs közös része.
Ez mindösszesen 11 axióma. Pontosabban 10 egyedi axióma és 1 axiómaséma (ti. a komprehenzivitás axiómája).
== A Neumann-féle méretkorlátozási axióma ==
|