Метаматематика. "Есть истинные утверждения, которые недоказуемы". Прокомментируете?

Question

Левин не смог растолковать. Или я тупой.

Answer 1

Линия пересечения двух плоскостей - прямая.
Через две различные точки можно провести только одну прямую.
Если у двух прямых есть две общие точки, то эти прямые совпадают.
На плоскости через точку вне прямой можно провести только одну линию, её не пересекающую.
 (a+b) +c = a+ (b+c) .
Скорость света одна и та же во всех системах отсчёта.

Комментарии нужны?