Итоги голосования для комментария:

Василий Шаповалов

Ну, теорема Гёделя прямо постулирует существование таких утверждений даже в рамках простой арифметики.