[tossandthrow]

None of these systems are both sound and complete.

first-order logic is sound, but not complete (Ie. I can express a set of strings you can not recognize in first-order logic).