3 ms·
On the other hand, consistency alone isn't really useful! Let suppose I design a new proof system to prove arithmetic propositions. Unfortunately, my system is
by yodsanklai 13y ago
On the other hand, consistency alone isn't really useful!
Let suppose I design a new proof system to prove arithmetic propositions. Unfortunately, my system is such that it can't produce any proposition. That makes it consistent but useless.
- Dylan16807 13y agoThat's why you look at completeness in terms of coverage, not as a binary.