>>63
>>無限公理なしのZFからは 無限集合の存在は 証明できない
>無限公理なしのZFから無限集合の非存在が証明できると？　じゃ証明してみて。

一句 ”不勉強 オチコボレのさばる 便所板”（字余り）

アタマ腐っているぞ こいつｗ　；ｐ）
アマタ悪そうだな

下記の渕野昌先生「R. Dedekind の数学の基礎付け と 集合論の公理化」を
百回音読してねｗ　；ｐ）

(参考)
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1739-16.pdf
数理解析研究所講究録
第1739 巻2011 年168-179
R. Dedekind の数学の基礎付け と 集合論の公理化
神戸大学大学院・システム情報学研究科 渕野昌
P173
3.無限の存在証明
単純無限的体系によって自然数の全体の体系の基礎付けがなされうるためには，
そもそも無限集合の存在が大前提となる．しかも，これが，「数の理論を扱かう
論理学の部分の基礎付け」としてなされるためには，無限集合の存在が無条件
に証明できなくてはならない．
この事情が，[3] の第3 版(1911) の前書きで
略
Dedekind の名誉のために付け加えておくと，1911 年の時点では，
無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研
究者たちすら，まだ完全には把握しきれていなかった可能性がある．
略
その意味でも，Dedekind が無限公理を要請として付け加えることの必要性
が見えなかったことの理由は，彼の手のうちにあった数学技法がそれに必要とな
る成熟に達していなかった，ということであるより，「論理」としての集合(論),
あるいはDedekind の言うところのSysteme の理論に彼が想定した，あるべき
状況と，数学的“真実” とのずれによるものであった，と解釈すべきことであ
るように思える．