Topic
completeness.
fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic
The journal
Open the journal →The conversation starts in the journal — be the first to post.
About completeness
In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula having the property can be derived using that system, i.e. is one of its theorems; otherwise the system is said to be incomplete.
Everything about completeness →