@toread Для интересующихся про доказательство в математике я бы советовал 14 главу «Метаматематика утрата определённости» Мориса Клайна.