Какая фраза может служить определением формальной модели?

• Модель, записанная на формальном языке.
• Модель в виде формулы.
• Словесное описание явления.
• Математическая модель.