Слабое место математики: можно ли доказать всё, что истинно? [Veritasium]

Помощь проекту: https://vertdider.tv/to-support-us/

Возможно ли доказать всё, что истинно? Поиски ответа на этот вопрос раскололи математическое сообщество, заставили нас пересмотреть своё представление о бесконечности, помогли выиграть Вторую мировую войну и создать устройство, на котором вы посмотрите это видео. Как именно, расскажет Дерек