Примеры формальных моделей Примером какой модели является формула