Szerkesztő:Gubbubu/Halmazelmélet/Fogalommutató
E lapon gyűjtjük össze, egy-egy szakkifejezés melyik lap melyik fejezetének melyik sorában vagy bekezdésében (l., f. , s. / b. ) található. Csak a fontosabb előfordulásokat tüntetjük fel (értelemszerűen nem gyűjtjük ki a pl. a halmaz vagy a halmazelmélet szavak összes előfordulását). Vastagon szedjük, ha az előfordulás az illető kifejezés definíciója. A betűrend a kifejezések kezdő névelők nélküli alakjára érvényes.
- alapfogalom: Alapfogalmak 1. f. 2.-3. b.
- alosztály: ld. részosztály;
- antiszimmetria:
- axióma:
- atom v. atomi individuum:
- Burali-Forti osztály:
- halmaz:
- halmazelmélet: 1. l. 1. f. 1. sor
- Hausdorff-modell:
- egyed:
- egyedazonosság:
- egyedosztály v. az egyedek osztálya:
- az egyedek axiómái:
- első:
- második:
- harmadik:
- egyelemű halmaz:
- egyenlőségi axióma:
- egyértelmű meghatározottság axiómája:
- elem(e):
- extenzió:
- extenzionális definíció:
- értelem (jelé):
G, Gy
szerkesztés- "gyenge" axióma:
- gyenge páraxióma: ld. páraxióma, gyenge.
- genetikus megadás:
- halmaz:
- halmaz-axióma:
- halmazelmélet:
- a halmazelmélet története:
- halmazosztály:
- hatványhalmaz:
- hatványhalmaz-axióma:
- hatványosztály:
- háromdimenziós jelmodell:
- hiperosztály:
- Holmes-féle halmazelmélet:
- individuum:
- individuum-egyenlőség:
- individuumok osztálya: ld. univerzális osztály.
- intenzió:
- intenzionális definíció:
- intenzionális definíció majoránsalakja ld. majoránsalak;
- intenzionális operátor (intenzionális osztályképző operátor v. osztályképző operátor v. komprehenzió-operátor)
- jelentés (jelé):
- jelölet (jelé):
- karakterisztikus tulajdonság:
- komprehenzió-operátor: ld. intenzionális operátor.
- konnekció:
- konstruktív megadás:
- koordináta, első és második:
- Kőnig Gyula halmazelmélete:
- KPU v. KPU-(halmaz)elmélet:
- Kuratowski-modell:
- majoránsalak (intenzionális definíció majoránsalakja)
- majoránsosztály:
- másodrendű reláció:
- meghatározottsági axióma:
- minimálelem:
- minimálosztály v. a minimálelemek osztálya:
- a minimálosztály axiómái:
- első:
- második:
- NBG v. NBG-(halmaz)elmélet:
- NBGU v. NBGU-(halmaz)elmélet:
- NF v. New Foundations:
- NFU v. NFU-elmélet:
- Occam borotvája, Occam-borotvaelv:
- osztály:
- - valódi: ld. valódi osztály:
- osztályegyenlőség v. osztályok egyenlősége:
- osztályképző operátor: ld. intenzionális operátor.
- pár v. elempár:
- rendezetlen:
- rendezett:
- páraxióma:
- gyenge - :
- Quine-Jensen-halmazelmélet: ld. NFU.
- reflexív:
- regularitás:
- reguláris halmaz v. reguláris osztály:
- reguláris kijelentés:
- reguláris elmélet:
- regularitási axióma v. a regularitás axiómája
- gyenge regularitási axióma:
- (erős) regularitási axióma:
- rendezetlen pár: ld. pár, rendezetlen.
- rendezett pár: ld. pár, rendezett.
- rendezett párok alaptétele:
- részhalmaz:
- valódi -:
- részosztály:
- valódi -:
- Russell-antinómia v. Russell-paradoxon:
- Russell-osztály:
- Russell-paradoxon: ld. Russell-antinómia:
- második v. járulékos:
- Russell téttele(i):
- Russell-féle típuselmélet v. logikai típuselmélet:
- első:
- második:
- harmadik:
- negyedik:
- Ruzsa-féle halmazelmélet:
S, Sz
szerkesztés- sokaság:
- szimmetrikus:
- Taketau-Zaring-halmazelmélet:
- típuselmélet: ld. Russell-féle típuselmélet;
- tranzitív:
- unió:
- univerzális osztály (U):
- Üres halmaz v. üres osztály:
- az üres halmaz axiómája v. üreshalmaz-axiüma:
- Üres osztály : ld. üres halmaz;
- az üres osztály egyértelműsége:
- az üres osztály egzisztencia-axiómája:
- valódi osztály:
- valódi részhalmaz: ld. részhalmaz, valódi.
- valódi részosztály: ld. részosztály, valódi
- végtelenségi axióma:
- Zermelo-axiómarendszer:
- Zermelo-Fraenkel-axiómarendszer: 1. l. 2. f. 4. b.
- ZFC: 1. l. 2. f. 4. b.