Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

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

Lindenbaum's lemma · Vinony

🌐English

English Deutsch Español Polski 中文

EntityQ2226746· pop 6· linked from 7 articles

Lindenbaum's lemma

Connections

International Standard Book Number

Categories

Lemmas Mathematical logic

Sources

wikipedia.externallinksexternallink

mathematical logic

Entity

Boolean algebra

Oxford University Press

Gödel's incompleteness theorems

first-order logic

Gödel's completeness theorem

recursively enumerable set

Adolf Lindenbaum

complete theory

Lindenbaum–Tarski algebra

Sign in to save

What links here7 pages

Adolf Lindenbaum

complete theory

Lindenbaum–Tarski algebra

Gödel's completeness theorem

Similar entities

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

Category:Catalan lemmas

Entitydist 0.50

Entitydist 0.50

Category:Emilian lemmas

Entitydist 0.50

Category:Avestan lemmas

Entitydist 0.51

Category:Ilocano lemmas

Entitydist 0.51

Category:Saek lemmas

Entitydist 0.52

Category:Laz lemmas

Entitydist 0.52

Category:Old Catalan lemmas

Entitydist 0.52

Category:Kaingang lemmas

Entitydist 0.52

Category:Blin lemmas

Entitydist 0.52

Category:French lemmas

Entitydist 0.52

Category:Võro lemmas

Entitydist 0.53