>>94
> ツェルメロの自然数は順序数ではない。
　正確には「ツェルメロの自然数は二項関係∈に関して順序数ではない」
　もちろん、違う二項関係を持ってくれば順序数と同型になる
　まあ、順序数という場合、二項関係∈でしか考えない、と断定してもよいけどね

それ以外は同意　まあ、上記も些細なことでしかないがね