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.