>>24です。そうか！>>11さんの
(3) P(a)が成り立つとき、ある0＜δが存在して0＜ε＜δならP(a+ε)が成り立つ。
のδを全ての実数に対し共通にとればよいのでは？
でもそれじゃ>>22さんの言うとおり、自然数の公理のよみかえにすぎないですね。