>>> Так в геометрии мы можем взять за аксиому, что прямая
>>> - это окружность бесконечного радисуса и развить на этом теорию. Но
>>> на практике результаты её развития будут ... скажем бесполезны.
>> Нда? А Вы пробовали? :)) Такая аксиома очень смахивает именно на ту
>> единственную отличавшуюся от евклидовой, что Лобачевский положил в основу своей геометрии.
>> И которая вполне себе применяется на практике =))
>
> Ничего, что Лобачевский не вводил новых аксиом, а отказался от одной
> евклидовой, о параллельности прямых, и таки доказал весь набор теорем?

А врать зачем? Он не просто отказался, а именно заменил на свою ("...по крайней мере две прямые").

> Так что вводя новые аксиомы вы ни пользы не добьетесь, ни Лобачевскому
> не уподобитесь.

А домыслы о том, чего я вводил или хотел, меня не интересуют.