[jfarmer]

You're right! I confused the deductive system/language w/ the theory. Oops.

Something like Presburger Arithmetic would've been a proper example.