можно определить так, как нам самим захочется
• A formalist is likely to say that the real number line is whatever we define it to be.
Источник:
Русско-английский научно-технический словарь
на Gufo.me
![](http://cdn.gufo.me/i/lec-photo.jpg)
• A formalist is likely to say that the real number line is whatever we define it to be.