„Neumann–Bernays–Gödel-halmazelmélet” változatai közötti eltérés

a
Robot: Automatikus szövegcsere (-<sub>1<sub> +<sub>1</sub>)
a (Robot: Automatikus szövegcsere (-<sub>2<sub> +<sub>2</sub>))
a (Robot: Automatikus szövegcsere (-<sub>1<sub> +<sub>1</sub>))
:'''E<small>GYESÍTÉSI AXIÓMA</small>''' – Ha ''H'' halmaz, akkor az &cup;H := { x | (&exist;y)( y &isin; H &#8743; x &isin; y ) } unióosztály halmaz.
 
Definiálható halmazok ''[[rendezett pár]]''jának fogalma ( {{a},{a,b}} ), ''osztályok Descartes-szorzata'' ( A &times; B := { (x,y) | x &isin; A &#8743; y &isin; B } ) és az osztályok között ható funktor fogalma. A ''funktor'' olyan osztály, mely az A és B osztályok Descartes-szorzatának olyan F részosztálya, amely egyrészt a második változójában egyértelmű, azaz ha (x,y<sub>1</sub>) &isin; F és (x,y<sub>2</sub>) &isin; F, akkor y<sub>1</sub> = y<sub>2</sub> és másrészt a párok első tagjaként az összes A-beli elem részt vesz. Azt, hogy F egy A-ból B-be menő funktor úgy jelöljük, hogy F: A <math>\rightarrow</math> B. Ha egy funktor halmaz, akkor ''függvény''nek nevezik. Egy F: A <math>\rightarrow</math> B funktor értékkészlete azon elemekből áll, melyeket az a B osztályból elér, azaz F(A) := { F(x) | x &isin; A }. Ha I és A nem üres osztály, akkor egy I''-vel indexelt osztályrendszer'' olyan (A<sub>i<sub>)<sub>i&isin;I<sub> funktor, mely I elemeihez A elemeit rendeli. Ha I halmaz, akkor az (A<sub>i<sub>)<sub>i&isin;I<sub> rendszer &times;<sub>i&isin;I<sub>A<sub>i<sub> ''Descartes-szorzat''a mindazon f: I <math>\rightarrow</math> &cup;A ''kiválasztó függvény''ek összessége, melyek olyanok, hogy minden i&isin;I-re f(i) &isin; A<sub>i<sub>. Ezeken kívül definiálni kell a [[természetes szám]]ok halmazelméleti modelljeit a [[Rendszám (halmazelmélet)|rendszám]]okon keresztül és ezesetben megfogalmazhatók a további axiómák:
 
:'''V<small>ÉGTELENSÉGI AXIÓMA</small>''' – Az összes &#216; , {&#216;} , {&#216;,{&#216;}}, {&#216;,{&#216;},{&#216;,{&#216;}}}, ... H &cup; {H}, ... alakú "természetes szám" halmazok osztálya halmazt alkot.
99 820

szerkesztés