16/05/21 09:46:42.41 6lFbW7vO.net
>>163 つづき
>新手のパラドックスかな？
以前にも紹介した渕野 昌先生。やっぱり無限がからむと、パラドックスの可能性がある
URLﾘﾝｸ(fuchino.ddo.jp)
中部大学で私(渕野 昌)が担当している講義に関連した話題， 関連しないけれど中部大学の学生諸君に読んでもらってもいいなと思う話題，などのリンクを 集めたページです．
数学の考え方
2006年度秋学期開講の数学の考え方の講義の折に作成した講義録 URLﾘﾝｸ(fuchino.ddo.jp)
数学と無限? 無限のパラドックス 2007 年7 月11 日渕野昌（中部大学，fuchino@isc.chubu.ac.jp）
P17より
”数学は本当に矛盾しないのか?
帰納法を含まない数学は矛盾しない （フォン・ノイマン，小野勝次etc.）
不完全性定理（K. ゲーデル1931） 帰納法を含む数学が矛盾しないことは証明できない（ことが証明できる）．
ほとんどの数学理論は矛盾しないことが，上のゲーデルの定理の仮定している立場を弱めると証明できる（K. ゲンツェン，竹内外史etc. ）”
(引用おわり)