Fórum Root.cz

Ostatní => Odkladiště => Téma založeno: SchrödingersTiger 12. 06. 2017, 22:53:08

Název: Spočetné modely ZFC
Přispěvatel: SchrödingersTiger 12. 06. 2017, 22:53:08

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ší?

Název: Re:Spočetné modely ZFC
Přispěvatel: O. 12. 06. 2017, 23:04:30

Zkus se spis zeptat na math.stackexchange.com

Název: Re:Spočetné modely ZFC
Přispěvatel: nelogik 12. 06. 2017, 23:50:23

Citace: SchrödingersTiger  12. 06. 2017, 22:53:08

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

Název: Re:Spočetné modely ZFC
Přispěvatel: nelogik 12. 06. 2017, 23:55:54

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

Název: Re:Spočetné modely ZFC
Přispěvatel: zboj 13. 06. 2017, 01:13:02

Citace: nelogik  12. 06. 2017, 23:50:23

Citace: SchrödingersTiger  12. 06. 2017, 22:53:08

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í.