736だが、話が飛びすぎた、すまん
4.99999...が∞に続くものが(本当は定まっているか定かでないのに)
定まっているとする立場ってのは実無限を認める立場でしょ

俺がちゃんと理解してないからかもしれんが
例えばこの辺とか。
ttp://blog.livedoor.jp/khideaki/archives/50464188.html

それとも無理数を認めた時点で背理法が必要になる、が正しいのか？
√2が無理数であることを示すのに背理法以外では証明できないでしょ