Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

compactness theorem · Vinony

EntityQ1149458· pop 17· linked from 352 articles

compactness theorem

Sign in to save

theorem

Connections

first-order logic

semantic theory of truth

mathematical logic

surjective function

Löwenheim–Skolem theorem

semantics of logic

ground expression

International Standard Book Number

Categories

Mathematical logic Metatheorems Model theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

Similar entities

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

adiabatic theorem

Entitydist 0.61

Whitehead theorem

Entitydist 0.66

work-energy principle

Entitydist 0.71

The Insulated World

Entitydist 0.77

The Summit of the Gods

Entitydist 0.78

Entitydist 0.79

Entitydist 0.79

Entitydist 0.79

You Know I Know

Entitydist 0.79

Entitydist 0.80

Entitydist 0.80

Entitydist 0.80

What links here352 pages

axiomatic system

lambda calculus

Mostowski collapse lemma

Cantor's paradox

three-valued logic

algebra of sets

computer-assisted proof

continuum hypothesis

superseded scientific theory

logical contradiction

proof of impossibility

material implication

Courcelle's theorem