Курт Гёдель доказал, что в математике существуют истины, которые невозможно доказать в рамках самой системы. Его теоремы о неполноте изменили представление о формальной математике, показав её ограничения. В начале XX века математики пытались создать систему, которая могла бы доказать любое истинное утверждение. Курт Гёдель показал, что это невозможно. Он разработал метод, который позволил...