madness, ну дык это всё-таки язык, а не наука! Даже не так, это инструмент для создания мириад языков, которые уже применяются для познания реальности. Ближе к инженерии, чем к науке: нет никакой способа подтвердить экспериментом, есть только удобство и нужность построенной конструкции, а также фантазии и правила построения. Не открываешь законы природы, а создаёшь язык для описания этих законов... и не только природы, и не только законов. Вот как инженерия предоставляет инструменты для экспериментов, так и математика предоставляет инструменты для теорий. Замечательное сходство, не так ли?