まあ、みんな同じ穴のむじななんだ
数学的帰納法で、無限集合を扱うとき、それなりの公理が必要だと。知らなかった。が、同じ穴のむじなさんたちも知らなかったんだ

おれは、渕野先生>>335を読んで、"無限の存在は、公理として与えなければならないってこと（無限公理）"を知った
まあ、>>330「ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。」、「つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される」とかも知った

気付いたのは、同じ穴のむじなさんたちの中で、一番早かったろう
一番遅いのが、ID:VGLvBdIbさん、あんただろう。まだ気付かないのか？