河野真治 @ 琉球大学情報工学です。

In article <eScYg.13$0d.2@news-virt.s-kddi1.home.ne.jp>, "cafea605" <cafea605@hcn.zaq.ne.jp> writes
> ＜宣言＞これから語る数学では無限は一種類であり可算とか非可
>算とかいった区別は存在させません！

V=L とか、狭義の直観主義とか言われる立場ですね。それでも、
かなりの範囲の数学を扱うことが可能だと知られています。

> 無限の定義として「自分自身よりも大きい」ってのはドウだろうか？

ある意味で正しいと思います。部分集合への単射があるとか、
そんな定義があった気がする。

まぁ、言葉は他の人と合わせた方がいいけどね。超準解析とか
いうならば...

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科