Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

independence · Vinony

🌐English

English Español Français Italiano Nederlands Português Svenska Русский 中文日本語

EntityQ2705017· pop 15· linked from 364 articles

independence

term in mathematical logic

Available in 15 languages

Español
Français
中文
日本語
Русский
Português
Armenian
Catalan
Czech

Connections

semantic theory of truth

mathematical logic

Categories

Mathematical logic Proof theory

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

first-order logic

Entity

semantics of logic

inaccessible cardinal

ground expression

International Standard Book Number

digital object identifier

Sign in to save

Similar entities

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

Entitydist 0.40

independent clause

Entitydist 0.48

Entitydist 0.55

Entitydist 0.55

supposition theory

Entitydist 0.56

Aristotelian logic

Entitydist 0.57

Entitydist 0.58

Herbrand's theorem

Entitydist 0.58

Declaration of Independence

Entitydist 0.59

Independence anarchism

Entitydist 0.60

Entitydist 0.60

Entitydist 0.60

What links here364 pages

parallel postulate

mathematical logic

Zermelo–Fraenkel set theory

cardinality of the continuum

lambda calculus

Mostowski collapse lemma

Cantor's paradox

three-valued logic

continuum hypothesis

computer-assisted proof

algebra of sets

proof of impossibility

compactness theorem