Description
The completeness of an axiomatized system of logic is the state of being so constituted that a contradiction arises through the addition of any formula not previously deducible from the axioms of the system.
Name
Completeness
Description
Categorization
Content quality
Yet to rate
English
Editorial
Exclude Wikipedia
include
1A4N
C0834
docid
11308340
d7nid
226657
Authored
Presentations
UIA Encyclopedia: https://encyclopedia.uia.org/concept/completeness