現代数学の系譜工学物理雑談古典ガロア理論も読む62

現代数学の系譜工学物理雑談古典ガロア理論も読む62at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む62 - 暇つぶし2ch70:桝Rです」と、まあ公理にするか、触れずにすますか（触れても触れなくても似たようなものでしょうが）それはともかくとして、触れてもせいぜいペアノ公理くらいでお茶濁すで、ＺＦで、「自然数が整列集合＝数学的帰納法」（公理として同値なので、どちらを導いても良いが）に直結するＺＦ中の公理が、フォン・ノイマンの正則性公理だよというだけのことです (引用終わり) で、「正則性公理：Given the other axioms of Zermelo-Fraenkel set theory, the axiom of regularity is equivalent to the axiom of induction. つまりは、ZF上で、正則性公理と帰納法公理は、同値」だから、間違っていないし但し、>>58 Virtually all results in the branches of mathematics based on set theory hold even in the absence of regularity; see chapter 3 of Kunen (1980). だから、正則性公理なしでも、自然数が整列集合 or 数学的帰納法成立（公理として同値）が導けるだろうねピエロちゃん、やれよ、その証明を、具体的にさｗ（＾＾前スレで豪語したでしょ？ホレホレそのために、Kunen (1980).のPDF見つけてやったよ（>>58）ホレホレまあ、読めないだろうね、あんたのレベルじゃねｗ（＾＾

次ページ

続きを表示

1を表示