Нельзя доказать истинность явления посредством внутренних понятий самого явления, т. к. если явление ложно или вымышлено, то все его внутренние понятия так же являются ложными или вымышленными. Доказать истинность явления можно только с помощью внешних понятий и определений.
Из "Учебного пособия по сравнительному богословию" Прогнозно-аналитический центра Академии Управления:
"Австрийский по происхождению математик и логик Курт Гёдель в 1931 году доказал теорему «о неполноте», названную его именем, согласно которой во всякой формальной системе, отвечающей определённым требованиям можно сформулировать утверждение, которое в рамках этой системы невозможно ни доказать, ни опровергнуть. Эта теорема утверждает, что в основе всякой системы взглядов лежат как минимум два постулата, которые в границах самой системы тоже невозможно ни доказать, ни опровергнуть. Можно сказать, что, согласно этой теореме, невозможно выявить собственную системную ошибку, не выходя за рамки изначально принятой системы взглядов — логики рассуждений.
Иными словами теорема показывает, что логически безупречно, рассудочно доказать можно всё, что будет заказано, но истинным будет только то, что безупречно доказательно проистекает из объективно истинного, которое должно быть избрано вне формализма рассматриваемой системы: т.е. в конечном итоге — интуитивно, поскольку, если оно привнесено из формальной системы, объемлющей первую и более мощной в некотором смысле, то и эта система остаётся в пределах ограничений теоремы Гёделя."