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 fi

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).