„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) |
||
63. sor:
== Gödel finit axiómarendszere ==
Az '''NBG'''-nek halmazelméleteken belüli egyfajta kitűntetett jellegére utal, az a tény, hogy végesen axiomatizálható. Ezt Gödel ismerte fel, aki a komprehenzivitási axiómát, mely valójában egy axiómaséma (azaz ahány P(x) annyi egyedi axióma, tehát rekurzívan felsorolható sok), fel tudta bontani kilenc egyedi axiómára. Így az '''NBG'''-halmazelmélet leírható 14 axiómával.
== Külső linkek ==
*[http://math.boisestate.edu/~holmes/holmes/separticle.pdf Randall Holmes, ''Alternative Set Theories'']
*[http://planetmath.org/encyclopedia/VonNeumannBernausGodelSetTheory.html www.planetmath.org, ''von Neumann-Bernays-Gödel set theory'' ]
|