現代数学の系譜　カントル　超限集合論2

現代数学の系譜　カントル　超限集合論2at MATH

現代数学の系譜　カントル　超限集合論2 - 暇つぶし2ch47:１３２人目の素数さん
19/12/22 18:07:39.91 dWgKJ6XY.net
結論
　Neumann構成で
　「いかなる順序数も自分より小さい順序数全てを要素として持つ」
　は成立する
　一方
　Zermelo構成で
　「いかなる順序数も自分の前者となる順序数のみを要素として持つ」
　は成立し得ない
　（極限順序数では、前者が存在しない）

次ページ