Axiomatická teorie množin: Porovnání verzí

'''Teorie polomnožin''' byla vyvinuta v&nbsp;70. a 80. letech [[20. století]] [[Petr Vopěnka|Petrem Vopěnkou]] a [[Petr Hájek (matematik)|Petrem Hájkem]]{{Doplňte zdroj}}. Její axiomatizace je podobná Von Neumann-Gödel-Bernaysově teorieteorii množin, ale liší se tím, že umožňuje existenci vlastních tříd, které jsou částí nějaké množiny (<math>\scriptstyle X \subseteq y</math>). Tato vlastnost umožňuje polomnožinám sloužit jako základ Vopěnkovy [[alternativní teorie množin]]<ref>http://eom.springer.de/A/a110560.htm Springer, Encyclopaedia of Mathematics:Petr Vopěnka - Alternative set theory<!-- do šablony --></ref>