| Property |
Value |
| dbo:abstract
|
- A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a hasonló módon formalizálni. A leglényegesebb különbség az NBG és a ZFC (a Zermelo–Fraenkel-axiómarendszer kibővítve a kiválasztási axiómával) között, hogy az NBG-ben közvetlenül hivatkozhatunk a valódi osztályokra, míg a ZFC-ben csak némi "ügyeskedéssel" tehetjük ezt. Az NBG azáltal, hogy nagyobb rálátást biztosít a halmazokra, a matematika tágabb területein alkalmazható hatékonyan, mint például a kategóriaelmélet vagy a halmezelmélet egészét vizsgáló modellelmélet. Mindazonáltal ez az előny csak látszólagos (nyelvi eredetű) tekintve, hogy a két elmélet ekvikonzisztens (az NBG a ZFC konzervatív bővítése). (hu)
- A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a hasonló módon formalizálni. A leglényegesebb különbség az NBG és a ZFC (a Zermelo–Fraenkel-axiómarendszer kibővítve a kiválasztási axiómával) között, hogy az NBG-ben közvetlenül hivatkozhatunk a valódi osztályokra, míg a ZFC-ben csak némi "ügyeskedéssel" tehetjük ezt. Az NBG azáltal, hogy nagyobb rálátást biztosít a halmazokra, a matematika tágabb területein alkalmazható hatékonyan, mint például a kategóriaelmélet vagy a halmezelmélet egészét vizsgáló modellelmélet. Mindazonáltal ez az előny csak látszólagos (nyelvi eredetű) tekintve, hogy a két elmélet ekvikonzisztens (az NBG a ZFC konzervatív bővítése). (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10081 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| prop-hu:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a hasonló módon formalizálni. A leglényegesebb különbség az NBG és a ZFC (a Zermelo–Fraenkel-axiómarendszer kibővítve a kiválasztási axiómával) között, hogy az NBG-ben közvetlenül hivatkozhatunk a valódi osztályokra, míg a ZFC-ben csak némi "ügyeskedéssel" tehetjük ezt. Az NBG azáltal, hogy nagyobb rálátást biztosít a halmazokra, a matematika tágabb területein alkalmazható hatékonyan, mint például a kategóriaelmélet vagy a halmezelmélet egészét vizsgáló modellelmélet. Mindazonáltal ez az előny csak látszólagos (nyelvi eredetű) tekintve, hogy a két elmélet ekvikonzisztens (az NBG a ZFC konzervatív bővítése). (hu)
- A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a hasonló módon formalizálni. A leglényegesebb különbség az NBG és a ZFC (a Zermelo–Fraenkel-axiómarendszer kibővítve a kiválasztási axiómával) között, hogy az NBG-ben közvetlenül hivatkozhatunk a valódi osztályokra, míg a ZFC-ben csak némi "ügyeskedéssel" tehetjük ezt. Az NBG azáltal, hogy nagyobb rálátást biztosít a halmazokra, a matematika tágabb területein alkalmazható hatékonyan, mint például a kategóriaelmélet vagy a halmezelmélet egészét vizsgáló modellelmélet. Mindazonáltal ez az előny csak látszólagos (nyelvi eredetű) tekintve, hogy a két elmélet ekvikonzisztens (az NBG a ZFC konzervatív bővítése). (hu)
|
| rdfs:label
|
- Neumann–Bernays–Gödel-halmazelmélet (hu)
- Neumann–Bernays–Gödel-halmazelmélet (hu)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
