Axiomatická teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
m typo |
|||
Řádek 244:
=== Kelleyova-Morseova teorie množin ===
{{Hlavní článek|Kelleyova-Morseova teorie množin}}
'''Kelleyova-Morseova teorie množin''' (označovaná též '''KM''') je teorie silnějších než jsou klasické axiomatizace Zermelova-Fraenkelova (ZF) a Von Neumannova-Gödelova-Bernaysova (NGB).<ref>{{Citace monografie | příjmení = Sochor | jméno = Antonín | odkaz na autora = | titul = Metamatematika teorií množin | vydavatel = Karolinum | místo = Praha | rok = 2005 | počet stran = 205 | kapitola = Paragraf 2 | strany = 47 | isbn = 80-246-1160-0 | jazyk = }}</ref> V '''KM''' je dokazatelná (formální) konzistence '''ZF'''{{Zdroj?}}.
Axiomatizace '''KM''' je velmi podobná axiomatizaci '''GB''', liší se pouze ve schématu existence tříd, kde (na rozdíl od '''GB''') připouští existenci třídy odpovídající libovolné formuli. Tato zdánlivě drobná odlišnost je však příčinou toho, že '''KM''' je nesrovnatelně silnější teorií než '''GB''' i '''[[ZF]]'''.{{Zdroj?}}
| |||