21/10/30 11:33:16.76 jsIfaBFZ.net
>>684中の正則性公理
URLﾘﾝｸ(ja.wikipedia.org)
の以下の2条件
「・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である x∋x_1∋x_2∋･･･ は存在しない。」
が同値であることは、単純に２項関係としての「∈」しか見てないから
これを「<」と置き換えても成り立つ
したがって、>>654の証明で全く十分であり、
「”∈を<としてよい”と書いてないから荒い」
とかいうのは読解力が欠如した🐎🦌の言い草である