Дима, всё правильно, я немного передёрнул тут с Гёделем :-) А про противоречивость, если не ошибаюсь, ещё Спиноза говорил, что парадоксальность — критерий истинности