Kripke–Platek set theory
article-link
What links here
Mostowski collapse lemma
Andrzej Mostowski
article-link
List of lemmas
article-link
Constructible universe
article-link
Forcing (mathematics)
article-link
Axiom of regularity
article-link
WikiHQWikiHQMostowski collapse lemma
article-link
article-link
article-link
article-link
article-link
article-link