полнота

полнота
(в логике и дедуктивных науках) логико-методологическое требование, предъявляемое к аксиоматической теории и характеризующее достаточность для определенных целей ее выразительных и дедуктивных средств. Аксиоматическая система является полной, если все ее формулы, истинные при рассматриваемой интерпретации, доказуемы. Полная система содержит все возможные теоремы, не противоречащие интерпретации. Для уточнения семантического понимания П. может быть выдвинуто требование, чтобы либо само предложение, либо его отрицание было теоремой, т. е. чтобы предложение было или доказуемо, или опровержимо.
А 1931 г. К. Гёдель показал, что достаточно богатые аксиоматические системы (включающие арифметику натуральных чисел) в принципе не могут быть полными: в них имеются предложения, которые не могут быть ни доказаны ни опровергнуты.
Требование П. не является необходимым; неполные аксиоматические системы могут представлять и теоретический, и практический интерес.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.

Синонимы:

абсолютность, безраздельность, брюзглость, глобальность, грузность, дебелость, дородность, дородство, доскональность, достаточность, емкость, законченность, избыток, комплектность, корпуленция, мясистость, неограниченность, обрюзглость, обстоятельность, откормленность, плерома, полисоматия, пространность, пухлость, пышность, развернутость, сдобность, солидность, толстота, толщина, тотальность, тучность, тщательность, упитанность, целостность

Антонимы:

пустота
худоба