「無限」というのは数学的にはどういう風に定義されているのかね?