формализм

символьное представление объектов и связей между ними

формализмы позволяют строить абстрактные модели Мира и затем анализировать их методами логики