Ну, это совсем не "очевидно".:) Это "если очень сильно постараться, можно предъявить утверждение, которое невозможно ни доказать, ни опровергнуть". Только помощью результата Матиясевича можно, видимо, добиться, чтобы одна из этих опций была "опровержимой".