| Property |
Value |
| dbo:abstract
|
- Alternatív halmazelméleteknek nevezzük a halmazelmélet standard Zermelo-Fraenkel-féle felépítésétől (ZF, ZFC) jelentős mértékben eltérő halmazelméleti axiómarendszereket. Néha ide sorolják a Neumann–Bernays–Gödel-halmazelméletet (NBG) is, bár ez a Zermelo-Fraenkel-halmazelmélet . Szintén nem minősülnek alternatív halmazelméletnek a ZF nevezetes töredékei; például a Zermelo-halmazelmélet (Z). Az alternatív halmazelméletek általában a ZF-éhez közeli elsőrendű nyelvet használnak. Rendszerint megtalálható bennük az extenzionalitási axióma (olykor kisebb módosítással), és többnyire a komprehenzió (részhalmaz-axióma) valamely változata is. (hu)
- Alternatív halmazelméleteknek nevezzük a halmazelmélet standard Zermelo-Fraenkel-féle felépítésétől (ZF, ZFC) jelentős mértékben eltérő halmazelméleti axiómarendszereket. Néha ide sorolják a Neumann–Bernays–Gödel-halmazelméletet (NBG) is, bár ez a Zermelo-Fraenkel-halmazelmélet . Szintén nem minősülnek alternatív halmazelméletnek a ZF nevezetes töredékei; például a Zermelo-halmazelmélet (Z). Az alternatív halmazelméletek általában a ZF-éhez közeli elsőrendű nyelvet használnak. Rendszerint megtalálható bennük az extenzionalitási axióma (olykor kisebb módosítással), és többnyire a komprehenzió (részhalmaz-axióma) valamely változata is. (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1543 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:label
|
- Alternatív halmazelmélet (hu)
- Alternatív halmazelmélet (hu)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
