Comment by dpierce9

First order logics can be provably sound and complete when they do not express certain arithmetic operations.