Добрый день
Посмотрел последнее видео Numberphile про Проблему Гольдбаха. Они говорят, что возможно, её нельзя доказать, так как изначально мы определили мало аксиом и нужно ввести больше. И что из-за этого, возможно, эта проблема вообще недоказуема в нашей системе аксиом. У меня возник вопрос, а существует ли какая-нибудь гипотеза для которой доказано, что доказательства её подтверждения или опровержения просто не существует?