本文我們將證明如下(用自然語言寫下的)命題: “nontrivial elementary embedding不存在
見諒哈如果我們用cardinal表示一個集合所含元素的數量
我們希望 M 儘可能“寬”)最弱的限制就是沒有限制,得到的就是measurable cardinal, 這個意義上可以說 measurable cardinal 是“較大的”大基數中最小的一個