実数の公理は認めて良いってことでしょ。
そんなにむずかしいことではない。