Мост между мирами

☀️ Теорема полноты Гёделя: когда синтаксис и семантика совпадают
Мы уже знаем, что в математической логике есть два мира: синтаксис (формальные доказательства, где мы двигаем символы по правилам) и семантика (смысл формул в конкретных моделях). Казалось бы, это разные вещи. Но в 1929 году Курт Гёдель доказал удивительный факт: в логике первого порядка они полностью совпадают.
Математическое ядро:
Теорема полноты утверждает: если формула истинна во всех возможных моделях (то есть семантически истинна), то она доказуема формально (синтаксически).
Запишем это символически:
 ⊨ φ  означает: формула φ истинна во всех моделях (семантическая истинность)
  φ  означает: формула φ доказуема из аксиом (синтаксическая доказуемость)
Теорема полноты:   φ  тогда и только тогда, когда   φ .
Это значит, что наш формальный аппарат не пропускает ни одной истины. Если что-то всегда истинно, мы обязательно сможем это доказать. Никаких «скрытых» истин, которые ускользают от наших правил вывода.
Зачем это нужно?
Теорема полноты — это фундамент уверенности математиков. Она гарантирует, что наша система доказательств адекватна реальности. Мы можем доверять формальным доказательствам, зная, что они покрывают всё, что действительно истинно. Это контрастирует с теоремами о неполноте, которые покажут, что для более богатых систем (арифметики) такая полнота невозможна.