GEB, стр. 92–93

**GEB, стр. 92–93**

Неопределяемые понятия: "ТОЧКА", "ЛИНИЯ" определяются совокупностью утверждений, в которых встречаются.

Не прямо — через словарь.
А косвенно — через все теоремы.

Как p и r в системе pr.

🌀 Постулаты — косвенные определения.