>>230
安達が認めてるのは極限じゃなく、方程式の解の存在
しかしそれは只の信仰だから無意味

√２は有理数ではない、という定理を逆手にとって
有理数を√２より大きいか小さいかで分けられるなら
切断として√２を定義できる、という発想はない