Potenční množina: Porovnání verzí

Přidáno 128 bajtů ,  před 3 lety
m
→‎Potenční množiny v modelech teorie množin: +Gödelovy konstruovatelné množiny jako příklad
(+P(X) v teorii modelů)
m (→‎Potenční množiny v modelech teorie množin: +Gödelovy konstruovatelné množiny jako příklad)
(v modelu plati podle [[Cantorova věta|Cantorovy věty]] <math>X \prec \mathcal{P}(X)</math>, což ovšem pouze znamená,
že uvnitř modelu neexistuje mezi oběma množinami bijekce, tj. zmíněná bijekce není součástí uvažovaného modelu).
Příkladem takového "omezeného" modelu je [[Gödel]]ova konstrukce [[konstruovatelná množina|konstruovatelných množin]].
 
== Související články ==