16/06/03 23:47:02.57 bBIh2VLt.net
>>334 つづき
ところで、渕野昌先生の良い記事（下記）を見つけた。これは、以前に紹介したような気もするが（これを読むのは２度目だから）
ここで言いたいことは、「無限の存在が集合論の他の公理から独立である」という記述だ
つまりは、無限の存在は、公理として与えなければならないってこと（無限公理）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
R. Dedekind の数学の基礎付けと集合論の公理化 (数学史の研究) 渕野昌 (Sakae Fuchin