„Osztály (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
a roboto: lmo:Classa (matemàtica) estas artikolo elstara |
a kozmetikai javítások |
||
26. sor:
== Osztályok a formális nyelvi halmazelméletben ==
=== Zermelo–Fraenkel-halmazelmélet ===
37 ⟶ 36 sor:
:<math>\neg(\exists y)(\forall x)(x\in y \;\Leftrightarrow\; P(x) )</math>
sőt a '''Ru''' összesség valódi osztály voltát már '''ZF'''<sub>0</sub>-ban is igazolni lehet (azaz axiómák nélkül, csak pusztán logikai okokból tejesül).
=== Neumann–Bernays–Gödel-halmazelmélet ===
66 ⟶ 64 sor:
:''Lásd még: [[osztálykalkulus]]''
Van az osztályoknak egy olyan elmélete, mely nincs beágyazva egyik halmazelméletbe sem. Természetesen ekkor a halmazelméletet meghatározó kétváltozós predikátumot a
Az egyszerű osztálykalkulus egy formális matematikai elmélet, melynek változói osztályokat jelölnek (például '''NBG'''-beli osztályokat), egyetlen logikai relációjele pedig a részosztály tartalmazás vagy osztályinklúzió
Példként nézzük a legfontosabb osztályműveletek definícióját:
85 ⟶ 83 sor:
[http://planetmath.org/encyclopedia/Class.html A Planetmath ''Class'' szócikke]
[[Kategória:
{{Link FA|lmo}}
[[en:Class (set theory)]]
[[cs:Třída (matematika)]]
96 ⟶ 95 sor:
[[it:Classe (matematica)]]
[[ko:모임 (집합론)]]
[[lmo:Classa (matemàtica)]]
[[nl:Klasse (verzamelingenleer)]]
[[pl:Klasa (matematyka)]]
|