Teorie polomnožin
Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70. a 80. letech 20. století Petrem Vopěnkou a Petrem Hájkem. Její axiomatizace je podobná Von Neumann-Gödel-Bernaysově teorii množin, ale liší se tím, že umožňuje existenci vlastních tříd, které jsou částí nějaké množiny. Tato vlastnost umožňuje polomnožinám sloužit jako základ Vopěnkovy alternativní teorie množin.
7223
Teorie polomnožin
teorie polomnožin
23
Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70. a 80. letech 20. století Petrem Vopěnkou a Petrem Hájkem. Její axiomatizace je podobná Von Neumann-Gödel-Bernaysově teorii množin, ale liší se tím, že umožňuje existenci vlastních tříd, které jsou částí nějaké množiny. Tato vlastnost umožňuje polomnožinám sloužit jako základ Vopěnkovy alternativní teorie množin.
143400
12394061