Известны ли вам такие утверждения например из геометрии, которые принципиально недоказуемы в рамках -

Question

- существующей аксиоматики?
 (это о теореме Гёделя)

Answer 1

насколько я знаю, не известен ни один пример "геделевского" утверждения в обычной математике.

и трудно представить, как бы можно было доказать, что конкретная теорема - недоказуемая.