Конечно, такии аксиоматики существуют! Аудьярт привела одну из них. Могу предложить аналогичную: берем любую из используемых систем аксиом, описывающих геометрию (например, TF6), заменяем везде слово "точка" на слово "черпак", после чего добавляем определение "точка это ровно то, что является черпаком". :) Вот здесь можно найти художественную литературу по этому поводу:
Горячо рекомендую почитать главу "Столы, стулья и пивные кружки" и смежные с ней. И вообще книжка хорошая. Да и сайт ничего. :-)
А еще - например, в Алгебраической геометрии принято называть точкой всякий простой идеал (и только простой идеал). Так что система аксиом алГема дает пример совершенно естественной аксиоматики, где понятие точки непервично. :-)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2004-10-04 01:15 pm (UTC)Вот здесь можно найти художественную литературу по этому поводу:
http://ega-math.narod.ru/Reid/book.htm
Горячо рекомендую почитать главу "Столы, стулья и пивные кружки" и смежные с ней. И вообще книжка хорошая. Да и сайт ничего. :-)
А еще - например, в Алгебраической геометрии принято называть точкой всякий простой идеал (и только простой идеал). Так что система аксиом алГема дает пример совершенно естественной аксиоматики, где понятие точки непервично. :-)