Я хочу четкое определение доказательство. Как говорил професор Преображенский "Мне нужна бумажка. Окончательная бумажка, такая бумажка чтобы никто не придрался"
То есть первые же теоремы из геометрии Евклида напрямую не следуют из его теорем геометрии на плоскости. Гильберт зафиксил эту проблему добавив еще полтора десятка аксиом
Я хочу четкое определение доказательство. Как говорил професор Преображенский "Мне нужна бумажка. Окончательная бумажка, такая бумажка чтобы никто не придрался"