21/12/17 18:45:28.01 .net
まあ、>>336の定義はツェルメロ式の本来の定義というより
「ツェルメロ式の意図を損なわない形で拡大した定義」
というべきでしょうね
後続順序数の場合も一意的な表現はありません
要はｘの前者を含めばシングルトンでなくてもよい
21/12/17 18:45:28.01 .net
まあ、>>336の定義はツェルメロ式の本来の定義というより
「ツェルメロ式の意図を損なわない形で拡大した定義」
というべきでしょうね
後続順序数の場合も一意的な表現はありません
要はｘの前者を含めばシングルトンでなくてもよい