- 26 名前：１３２人目の素数さん [2025/04/20(日) 21:30:45.48 ID:6H0hK+Kz.net]
- ∀n∈N.∀m∈N.n<m⇒n重括弧<m重括弧 でn重括弧全体の集合上の二項関係<を定義すれば<は推移律を満たすから順序関係
このとき<は全順序且つ任意の空でない部分集合が<に関する最小元を持つから整列順序（整列定理の出る幕無し）
一方n重括弧全体の集合上の二項関係∈は推移律を満たさないから順序関係でない
たったこれだけのことが理解できないおサルに人間様の数学は無理なので諦めましょう
