Математика - это формальный язык, как русский, английский. Это научный язык - наделён предсказательной силой. Структура математики обеспечивает именно это. Объект (систему) сначала надо описать, потом анализировать и делать выводы, следствия.
Прекрасный ответ!
А как вы точно определяете операцию сложения, чтобы можно было доказать теорему m+n=n+m?
Математика - это задачи. Слова "как" и "сколько"и "лучше", "хуже". Математика - не только опыт, но и мысль. Аксиомы - это вера и соглашение. Опровергает опыт. Не думал, что дальше - пропасть, шагнул и свалился в неизведанное.