4 ms·
You're right! I confused the deductive system/language w/ the theory. Oops. Something like Presburger Arithmetic would've been a proper example.
by jfarmer 6y ago
You're right! I confused the deductive system/language w/ the theory. Oops.
Something like Presburger Arithmetic would've been a proper example.