16/06/04 20:49:54.65 CtkyGlEO.net
>>382
ID:sCL4/KGiさんね、あなたは
「これは酷い
数学的帰納法の主張は、「n∈N ⇒ P(n)は真」である。
∞∈/N なるものに対して、数学的帰納法は何も言っていない。」という
一方、>>384で矢田部俊介先生（下記）は、「公理的集合論ZFC の特徴を一言で言うと、以下の通りである。
・ 超限帰納法、つまり通常の数学で使われる帰納的構成法を無限の長さの整列順序に拡張したもの、によ
り集合を構成していく。大まかに言うと、空集合から始め、無限ステップの帰納的
構成により集合を構成する。」と言われる
URLﾘﾝｸ(researchmap.jp)
矢田部俊介
経歴
2014年4月 - 現在 京都大学大学院文学研究科 応用哲学・倫理学教育研究センター（CAPE） 研究員