Y
Hacker News
new
|
ask
|
show
|
jobs
by
tossandthrow
292 days ago
Yep - when you use a multiplum of systems, then some systems can be regarded complete while other systems are sound.
This is in contrast to just one system that attempts to be sound and complete.