Skolem's paradox

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:paradox
gptkbp:describes apparent contradiction between countable models and uncountable sets
gptkbp:firstDescribed 1922
gptkbp:hasConcept uncountable set
countable model of set theory containing uncountable sets (internally)
countable model
internal vs external perspective
model of Zermelo–Fraenkel set theory
non-absoluteness of cardinality
relativity of set-theoretic notions
https://www.w3.org/2000/01/rdf-schema#label Skolem's paradox
gptkbp:namedAfter gptkb:Thoralf_Skolem
gptkbp:originatedIn gptkb:set_theory
gptkb:first-order_logic
gptkbp:relatedTo gptkb:set_theory
gptkb:Löwenheim–Skolem_theorem
model theory
gptkbp:bfsParent gptkb:Thoralf_Skolem
gptkbp:bfsLayer 5