Советский философский словарь - гёдель курт

рии множеств. Важнейший результат, полученный Г. доказательство неполноты достаточно богатых формальных систем (в т. ч. арифметики натуральных чисел и аксиоматич. теории множеств). Г. показал, что в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровержимы. В филос.-методологич. плане теорема Г. о неполноте означала утверждение принципиальной невозможности полной формализации науч. знания. Г. принадлежит ряд результатов в теории моделей, в области конструктивной логики и др. разделах математич. логики. В 30-х гг. филос. взгляды Г. были близки к неопозитивизму, впоследствии выступал с критикой субъективизма в филос. истолковании логики.