バナッハ俄バカだと言ってしまえば、それまでかも知れないが、
εを持ち出した時点で、自然数全体やその写像を考えることが、
無意味になっていないか？
　だから、実数全てを扱えているかどうかは、
証明する必要があるんじゃないのかな？