>>692
>ノイマンの正則性公理で
>”∀xについて、∈がx上well-founded”
>”∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない”
>は、標準的なZFC内では保証されていて
両者の同等性がZFCによる証明は既に示したが何か？
「無限長の降鎖がないなら、任意の部分集合に最小元がある」
というところで選択公理を使う

>だから、それは当たり前中の当たり前のことで
いやいやいやいや、おまえ全然分かってなかったよ
だって、正則性公理により無限長の降鎖がないっていったら
「いや、無限長の昇鎖はある！」（だから降鎖もある）
って速攻で文句つけてたじゃん　
要するにおまえ昇鎖と降鎖の区別ついてなかったじゃん
なにいまさら「当たり前中の当たり前」とかほざいてんだよ　この🐎🦌

>そんな
>descending chain condition とか
>ascending chain confition とかでは
>おサルの珍説が救えるはずないよね
いや、まさにそのDCとACの違いですが（直流交流かｗ）
おまえは、「DCがない」っていう主張に
「いやACはある！」（だからDCもある）
ってほえたんだよ　🐒はおまえだろｗ

>>693
>もとの二項関係は、”＜”だったよね
>それが、松坂で”∈”に変わっている・・・
ん？おまえ、なんかカン違いしてない？
二行目の「松坂で”∈”に変わっている」ってどこのこと？
そんな箇所まったくないんだが
(🐎🦌は数式も正しく読めないのか？)