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） 研究員
2013年4月 - 現在 西日本旅客鉄道株式会社 技術部
2012年4月 - 2013年3月 産業技術総合研究所セキュアシステム研究部門 研究員（2号）
2010年4月 - 2012年3月 産業技術総合研究所組込みシステム技術連携研究体 研究員（2号）
2009年4月 - 現在 京都大学文学部 非常勤講師
2007年9月 - 2010年3月 産業技術総合研究所システム検証研究センター 特別研究員
2007年4月 - 2007年8月 神戸大学大学院工学研究科 助手
2004年7月 - 2007年3月 神戸大学工学部情報知能工学科 教務職員
2003年6月 - 2004年6月 神戸大学工学部情報知能工学科 教務補佐員