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.

Mostowski collapse lemma · Vinony

🌐English

English Deutsch Français Italiano Polski 한국어 中文日本語

EntityQ138596· pop 9· linked from 17 articles

Mostowski collapse lemma

theorem

Available in 9 languages

Français
Deutsch
中文
日本語
Italiano
Catalan
Polski
한국어

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Lemmas Lemmas in set theory Wellfoundedness

Sources

wikipedia.externallinksexternallink

first-order logic

Entity

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

John von Neumann

Sign in to save

What links here17 pages

well-founded relation

axiom of regularity

Andrzej Mostowski

constructible universe

Similar entities

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

The Last Theorem

Entitydist 0.62

Urysohn's lemma

Entitydist 0.63

Bolzano–Weierstrass theorem

Entitydist 0.65

Category:Caló lemmas

Entitydist 0.66

Bolzano's theorem

Entitydist 0.66

Category:Jingpho lemmas

Entitydist 0.67

Category:Komi-Permyak lemmas

Entitydist 0.67

Erdős–Rado theorem

Entitydist 0.67

Tadeusz Mostowski

Entitydist 0.68

Pólya enumeration theorem

Entitydist 0.69

Leonard Iwanowski

Entitydist 0.69

Carathéodory's extension theorem

Entitydist 0.70