можно определить так, как нам самим захочется

• A formalist is likely to say that the real number line is whatever we define it to be.