неполнота

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