Почему многие логические теории обладают свойством синтаксической неполноты?

Многие логические теории обладают свойством синтаксической неполноты благодаря методу их построения в виде логических исчислений. iphlib.ru

Суть этого метода состоит в формулировании точных правил оперирования со знаками (формулами языка), позволяющих без использования каких-либо семантических понятий («интерпретация», «модель», «истина») осуществлять обоснование логических законов и форм корректных рассуждений. iphlib.ru

Например, исчисление предикатов не является синтаксически полным, так как к нему можно присоединить в качестве новой аксиомы некоторую недоказуемую формулу так, что полученная система окажется синтаксически непротиворечивой. iphlib.ru

Также неполнота какой-либо конкретной теории может означать, что «не были учтены» какие-то нужные аксиомы. homepage.mi-ras.ru Например, так обстояло долгое время дело с аксиоматизацией элементарной геометрии. homepage.mi-ras.ru