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.

A

• alapfogalom: Alapfogalmak 1. f. 2.-3. b.
• alosztály: ld. részosztály;
• antiszimmetria:
• axióma:
• atom v. atomi individuum:

B

• Burali-Forti osztály:

H

• halmaz:
• halmazelmélet: 1. l. 1. f. 1. sor
• Hausdorff-modell:

E

• 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

• "gyenge" axióma:
• gyenge páraxióma: ld. páraxióma, gyenge.
• genetikus megadás:

H

• 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:

I

• 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)

J

• jelentés (jelé):
• jelölet (jelé):

K

• 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:

M

• 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:

N

• NBG v. NBG-(halmaz)elmélet:
• NBGU v. NBGU-(halmaz)elmélet:
• NF v. New Foundations:
• NFU v. NFU-elmélet:

O

• 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

• pár v. elempár:
  • rendezetlen:
  • rendezett:
• páraxióma:
  • gyenge - :

Q

• Quine-Jensen-halmazelmélet: ld. NFU.

R

• 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

• sokaság:
• szimmetrikus:

T

• Taketau-Zaring-halmazelmélet:
• típuselmélet: ld. Russell-féle típuselmélet;
• tranzitív:

U

• 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:

V

• 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:

Z

• Zermelo-axiómarendszer:
• Zermelo-Fraenkel-axiómarendszer: 1. l. 2. f. 4. b.
• ZFC: 1. l. 2. f. 4. b.