GEB, стр. 50

**GEB, стр. 50**

Два типа интерпретации:

**Значащая** — теоремы соответствуют истинам
**Незначащая** — соответствия нет

Задача математика: создать систему, где теоремы изоморфны фрагментам реальности.

🌀 Форма должна отражать содержание.