>вся математика выводится из этих аксиом и не терпит противоречия им, а язык каждый раз исходит из реальности, а не из теории.
Уважаемый Гегемон, сами аксиомы математики могут быть противоречивыми. Нет даже окончательного консенсуса на счет непротиворечивости арифметики. И, поэтому, математика точно также исходит в первую очередь из реальности, как и все остальное.
