Szerkesztő:Gubbubu/Halmazelmélet/Fogalommutató

A Wikikönyvekből, a szabad elektronikus könyvtárból.
Ábécé szerinti tartalomjegyzék
ABCDEFGHIJKLMNOÖPRSSzTUÜVWXYZZs

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[szerkesztés]

B[szerkesztés]

  • Burali-Forti osztály:

H[szerkesztés]

E[szerkesztés]

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

É[szerkesztés]

  • értelem (jelé):

G, Gy[szerkesztés]

H[szerkeszté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:

I[szerkesztés]

  • 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[szerkesztés]

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

K[szerkesztés]

  • 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[szerkesztés]

  • 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[szerkesztés]

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

O[szerkesztés]

P[szerkesztés]

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

Q[szerkesztés]

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

R[szerkesztés]

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

T[szerkesztés]

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

U[szerkesztés]

  • unió:
  • univerzális osztály (U):

Ü[szerkesztés]

  • Ü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[szerkesztés]

  • 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[szerkesztés]