26/07/29 23:15:49.22 oyJUr6vp.net
>>636-637
話は真逆だよ
１）まず、下記 渕野昌先生「R. Dedekind の数学の基礎付け と集合論の公理化」見てね
その中で、当時 Dedekindが、”無限の存在証明”を 真剣に考えていたとある
２）ところが、その後の公理系の研究が進むと、”無限集合”は「他の公理からの独立」と分った
３）これを いま 線形空間のLean化に当て嵌めると、
有限次元の線形空間が扱えるライブラリーだけでは、無限次元線形空間は扱えない
つまり、無限次元線形空間を扱うライブラリーを人が用意する必要があるということだ
（あたかも、”無限集合”の存在を 公理として与えなければ 公理体系として無限集合が扱えないのと同じ）
４）これを、IUTに見ると 従来の遠アーベルの理論のライブラリーだけで間に合うのか？
それとも、さらに 望月IUTを扱う ライブラリーを 3.11に加える必要があるのか？
そういう検討が必要になるということだ
まあ、加藤さんがいうように >>605「論文っていうのは自然言語で書かれてるわけ」
であって、あたかも Dedekindが”無限の存在証明”が 可能と思っていたが如くだ
”3.11→3.12 出来た！”と思っていたところ、あにはからんや それが自然言語のワナだったのかもね
まあ、そこらも含めて
オープンな議論をしていけば
ハッキリしてくるとおもう（＾＾
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録第1739巻 2011年 168-179
R. Dedekind の数学の基礎付け と集合論の公理化 渕野昌
P6
3 無限の存在証明
単純無限的体系によって自然数の全体の体系の基礎付けがなされうるためには，
そもそも無限集合の存在が大前提となる．しかも，これが，「数の理論を扱かう
論理学の部分の基礎付け」としてなされるためには，無限集合の存在が無条件
に証明できなくてはならない．
略
と書きながらも，晩年のDedekind が，無限の存在証明([3] の66.) の残った
ままのテキストをこの再版に回してしまったことの背景だったのではないだろ
うか．
ただし，Dedekind の名誉のために付け加えておくと，1911 年の時点では，
無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研
究者たちすら，まだ完全には把握しきれていなかった可能性がある．
無限公理(無限集合の存在を主張する公理) の集合論の他の公理からの独立
性は(集合論のすべての公理を含む体系の中で),
略
したものの組からなる構造を作ると，そこでは，無限公理以外の集
合論のすべてが成り立つことが確かめられ，そのことから「集合論
の公理系が無矛盾なら，集合論の公理系から無限公理を除いた体系
から無限公理は導かれない」ことが導かれる
として示すことができる．もちろん，[集合論の公理系が無矛盾なら」は，不完
全性定理以降の時代に生きる我々の後知恵であるが(9), Fraenkel が[7] で行なっ
ているような直観的な証明は，Dedekind の時代でも可能であったように思え
る．