>>100
> なんか、急にレベルが落ちたね
　いいや　君が自分の本来のレベルに気づいただけ
> まず、二項関係”X の各元 x, y, z について、x R y かつ y R z ならば x R z となるとき、関係 R は推移的であるという”を押さえておこう
　悪いが、そんな初歩的なことはみんな知ってる　君が今、気づいたんだろ？　それを認めよう　６０過ぎた今、やっと気づいた、と
> 順序集合の定義については、推移律は必須とする
　悪いが、そんな初歩的なこともみんな知ってる　君が今、気づいたんだろ？　それを認めよう　６０過ぎた今、やっと気づいた、と
> そうすると、いまツェルメロの定義した自然数 {},{{}},{{{}}},{{{{}}}},・・・ >>72 の集合をNzと書くと
>（Nz,∈）は推移律を満たさないが、これを（Nz,R）と書き直して、Rが推移律を満たす(もっと言えば全順序を満たす)と定義すれば良いってことだね
　そういう雑な言い方じゃダメ
　１．a∈b⇒aRb
　２．aRb ＆ bRc⇒a&c
　この２つを満たす、という必要がある
　君、論理式も満足に書けないの？　それじゃ大学数学は無理だよ

　一旦、ここで切る