[dpierce9]

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

[bubblyworld]

First-order logic is sound and complete in general (via Gödel's lesser known completeness theorem, for instance). That doesn't contradict what I wrote =)