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