Геделя теоремы

ГЕДЕЛЯ ТЕОРЕМЫ — теорема о неполноте формальных (формализованных) систем — первая теорема Геделя, согласно которой любая формализованная система не может быть полной, замкнутой, сколько бы аксиом в нее ни добавляли, она остается противоречивой внутренне, пока не будет опираться на заданные извне ценностные постулаты, дополнительные установки. Вторая теорема — невозможно доказать непротиворечивость формализованной системы средствами и методами этой системы.

Райзберг Б.А. Современный социоэкономический словарь. М., 2012, с. 86.