16/05/14 14:19:49.46 WuiW+Tgn.net
>>93
何か超準解析に関するスレを挙げはじめているようだが、超準解析の手法を使うと、
私が行った方法より厳密に、スレ主のように n→+∞ とすると矛盾に導けるから
n→+∞ とは出来ないことが、示せるぞ。これを厳密に示すようなことは、
超積やら基礎論に或る程度精通していないと出来ないな。
基礎論に詳しい人なら出来ると思う。大体の方針としては、デデキント切断により
有理数体Qから実数体Rを構成するような手法に似ている。
詳しいことは、基礎論通にでも聞いてくれ。多分、マトモな答えが返って来ると思う。