В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
полнота Понятие адекватности формальной системы, используемое как в теории доказательства, так и в теории моделей (логика). В теории доказательства формальная система считается синтаксически полной, если и только если каждое законченное предложение в системе таково, что либо оно, либо его отрицание являются доказуемыми в этой системе. В теории моделей формальная система считается семантически полной, если и только если каждая теорема системы доказуема в ее рамках.
