Еще реплика на тему философии науки

[pargentum]

Логический вывод действительно очевиден, но с аксиомами все сложнее.  Аксиоматику Эвклида и конечной целочисленной арифметики с какой-то натяжкой можно считать очевидными, но аксиоматики неэвклидовых геометрий или, скажем, Пеано уже не столь очевидны.
Поэтому я не готов аргументированно спорить с конвенционализмом Пуанкаре, который утверждает, что выбор аксиом, в конечном счете, произволен.
На следующий вопрос - почему некоторые аксиоматики оказываются полезны при анализе движения планет и электронов - я тоже аргументированно ответить не готов.  Но очевидно, что социальным статусом это объясняться не может, потому что планетам и электронам очевидным образом похуй на чей бы то ни было социальный статус.