16/06/11 14:08:29.10 S8u3bicV.net
まあ、みんな同じ穴のむじななんだ
数学的帰納法で、無限集合を扱うとき、それなりの公理が必要だと。知らなかった。が、同じ穴のむじなさんたちも知らなかったんだ
おれは、渕野先生>>335を読んで、"無限の存在は、公理として与えなければならないってこと（無限公理）"を知った
まあ、>>330「ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが�
16/06/11 14:08:29.10 S8u3bicV.net
まあ、みんな同じ穴のむじななんだ
数学的帰納法で、無限集合を扱うとき、それなりの公理が必要だと。知らなかった。が、同じ穴のむじなさんたちも知らなかったんだ
おれは、渕野先生>>335を読んで、"無限の存在は、公理として与えなければならないってこと（無限公理）"を知った
まあ、>>330「ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが�