I'm newbie in logic and model theory. I've the following task:
By exhibiting suitable formulas, show that the set of even numbers is a set in .
Show the same for the set of prime numbers.
How can I solve this? Any advices?
I'll be grateful for help