> когда имеем дело с полностью формализованной теорией, определяющей, как будет для нее выглядеть мир.
То есть, когда занимаемся, по сути, математикой.

Получается, что математика - это не "язык" (чушь полная), а недостижимый идеал любой науки. А счастье наше в том, что идеал у нас перед глазами. Можно пощупать этот кафтан и на его примере увидеть, чего же нашим лохмотьям не хватает :)