GEB, стр. 92–93
Неопределяемые понятия: "ТОЧКА", "ЛИНИЯ" определяются совокупностью утверждений, в которых встречаются.
Не прямо — через словарь.
А косвенно — через все теоремы.
Как p и r в системе pr.
🌀 Постулаты — косвенные определения.
GEB, стр. 92–93
Неопределяемые понятия: "ТОЧКА", "ЛИНИЯ" определяются совокупностью утверждений, в которых встречаются.
Не прямо — через словарь.
А косвенно — через все теоремы.
Как p и r в системе pr.
🌀 Постулаты — косвенные определения.