Смысл формул

☀️ Теория моделей: когда синтаксис встречает семантику
До сих пор мы говорили о формулах как о наборах символов (синтаксис). Но формулы должны что-то означать. Раздел логики, который изучает связь между формальными языками и их интерпретациями, называется теорией моделей.
Математическое ядро:
Представьте, что у нас есть формула:  ∀x (x + 0 = x) . Сама по себе это просто строка символов.
Но мы можем интерпретировать её.
Модель 1: Натуральные числа с обычным сложением. Формула истинна.
Модель 2: Строки текста, где «+» — это склеивание строк, а «0» — пустая строка. Формула тоже истинна.
Модель 3: Натуральные числа, где «+» — это умножение. Формула ложна (не для всех x: x * 0 = x).
Модель — это конкретный «мир» (структура), в котором мы проверяем, истинна ли формула. Теория моделей изучает, какие классы моделей удовлетворяют заданному набору аксиом.
Зачем это нужно?
Это мост между абстрактной алгеброй и логикой. Теория моделей позволяет доказывать независимость аксиом (например, континуум-гипотезы), строя разные модели, где она то истинна, то ложна.