Droog_AndreyВы исправили, текст своего первого послания, и исказили смысл последовавших ответов. Вот как раз
Munin, посмотрите как система работает для своих отвратительных интересов.
В высших же учебных заведениях, когда абстрагирование и интерпретация развиты настолько, что позволяют применять их к любым объектам (а не только к реальным), переходят к формализации этих процессов и описанию их средствами той же математики - отсюда аксиоматизация, языки разных порядков, метатеории и т.д.
На месте "высших учебных заведений" стояло
"старшие классы школы".