>>514
実数の連続性はいくつかの定理が同義とされている。
極限を正確に表すのは、論理学的には集合論に帰着させているけれど。
√2は、x>0かつx^2≦2という切断で定義可能なのだが。
無理数は有理数で決められる切断で定義可能なんだがね。