在数理逻辑中,Mostowski 塌陷引理声称对任何结构 S,它带有良基关系 R 使得对 S 的每个元素 x 有 {y : y R x} 是集合,并且使得 R 满足外延性,则存在一个传递类 C(可能是真类),它在成员关系下的结构同构于 S。这个同构映射 S 的每个元素 x 到 S 的有着 y R x 的元素 y 的像的集合。它得名于安德烈·莫斯托夫斯基(Andrzej Mostowski)。
这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.