Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Skolem's paradox · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Türkçe Русский 한국어 中文日本語

EntityQ1096353· pop 11· linked from 22 articles

Skolem's paradox

the paradox that there are countable models of theories that assert the existence of uncountable sets

Available in 11 languages

Español
Français
Deutsch
中文
Русский
Português
Catalan
Nederlands
Polski
한국어

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

Categories

Inner model theory Mathematical paradoxes Model theory

Sources

wikipedia.externallinksexternallink

mathematical logic

Entity

Gödel's incompleteness theorems

first-order logic

uncountable set

Zermelo–Fraenkel set theory

axiomatic system

Von Neumann–Bernays–Gödel set theory

semantics of logic

ground expression

Sign in to save

What links here22 pages

continuum hypothesis

second-order logic

mathematical logic

foundations of mathematics

Cantor's first uncountability proof

paradoxes of set theory

Löwenheim–Skolem theorem

first-order logic

axiom schema of replacement

Russell's paradox

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.51

Ellsberg paradox

Entitydist 0.55

Constructive realism

Entitydist 0.55

physics beyond the Standard Model

Entitydist 0.55

epistemological anarchism

Entitydist 0.57

theory‐ladenness

Entitydist 0.57

Entitydist 0.57

Entitydist 0.57

Entitydist 0.58

unobservable entity

Entitydist 0.58

Entitydist 0.58

mathematical Platonism

Entitydist 0.58