Completeness
Jump to navigation
Jump to search
Completeness (logic)(Q15846555) is a fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic.