>>250
スレチだしレスするの迷ったんだけど

1辺が1の正方形を本当にかけるのか、対角線を引いたときに本当にルート2なのか、可視というが何が見えてるのか
って感じで、1を正確に測りとれるとか三平方の定理とか、対角線の長さを測りとれるとか
いろんな仮定が入ってる

結局仮のルート2に収束する数列とか、>>244の言う数表(ただし無限に続く)とかと同じ議論が起きちゃう