Из основного тезиса формализации следует сама идея моделирования

Для обозначения объекта вводится некоторый набор знаков.

Знак — это элемент конечного множества отличных друг от друга элементов.

Основные черты знака:

1. Способность выступать в качестве заместителя объекта;

2. Неотождественность знака и объекта — знак никогда не может полностью заменить обозначаемое;

Многозначность соответствия «знак — объект».