I just finished reading the completeness and compactness proofs of FOL and was wondering if there were any resources/books to study Number Theory as a First Order Theory. Can anyone provide me some useful information on this topic? Furthermore, I would like to ask if this is a suitable point for me to dive into a little bit of Model Theory, can anyone tell me? If yes, then what would be a good starting point?
Thanking You in Advance!