Spočetné modely ZFC

[SchrödingersTiger]

Ahoj, vysvětlil by mi někdo, jak je možné, že existují spočetné modely ZFC, když už jen mohutnost P(ω) je větší?

[Reklama]

[O.]

Zkus se spis zeptat na math.stackexchange.com

[nelogik]

Ahoj, vysvětlil by mi někdo, jak je možné, že existují spočetné modely ZFC, když už jen mohutnost P(ω) je větší?

Jednoduchou upravou sa dostanes k Skolemovmu paradoxu a ten je vysvetleny na wiki:
https://en.wikipedia.org/w/index.php?title=Skolem's_paradox

[nelogik]

A este dokaz: https://proofwiki.org/wiki/Skolem%27s_Paradox

[zboj]

Ahoj, vysvětlil by mi někdo, jak je možné, že existují spočetné modely ZFC, když už jen mohutnost P(ω) je větší?

Jednoduchou upravou sa dostanes k Skolemovmu paradoxu a ten je vysvetleny na wiki:
https://en.wikipedia.org/w/index.php?title=Skolem's_paradox

Především to chce říct, že nevíme, jestli takové modely existují, protože nevíme, zda je ZF konzistentní.

[Reklama]