Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye. |
A méretkorlátozási axióma vagy Neumann-axióma az osztályrealista halmazelméletek jellegzetes axiómája. Legáltalánosabb formájában:
A méretkorlátozási axióma nagyon erős állítás. A Neumann–Bernays–Gödel-halmazelmélet többi axiómájának jelenlétében következik belőle többek között:
Másfelől a többi NBG-axióma jelenlétében a behelyettesítési axióma és a globális kiválasztási axióma maga után vonja a méretkorlátozási axiómát.
Az axiómát gyakran az alábbi egyszerűbb alakban idézik:
Ez a változat csak akkor ekvivalens az előző szakaszban megadottal, ha más axiómákból bizonyítható, hogy az univerzális osztály valódi osztály (lásd: Cantor-paradoxon).