Complete Formal System

From GM-RKB
(Redirected from Logical System Completeness)
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