Complete Formal System

From GM-RKB
(Redirected from completeness (logic))
Jump to navigation Jump to search

A Complete Formal System is a mathematical formal system if every formula having the property can be derived using that system.



References

2023