13/02/04 15:59:32.48
>>411
一般に順序数αはそれ以下の順序数の集合{β:β<αは順序数}
と順序同型だから同一視できるし、有限順序数は各自然数と同一視できる
公理的集合論だと全く同じものになるように定義するのが普通
13/02/04 15:59:32.48
>>411
一般に順序数αはそれ以下の順序数の集合{β:β<αは順序数}
と順序同型だから同一視できるし、有限順序数は各自然数と同一視できる
公理的集合論だと全く同じものになるように定義するのが普通
13/02/04 15:59:32.48
>>411
一般に順序数αはそれ以下の順序数の集合{β:β<αは順序数}
と順序同型だから同一視できるし、有限順序数は各自然数と同一視できる
公理的集合論だと全く同じものになるように定義するのが普通