Без заголовка

Вот для поддержания огня в душе: http://arxiv.org/abs/math/9805136 Заметим, правда, что для планиметрии теорема Геделя неверна (поэтому такое и возможно).