I am looking for a book that starts at the standard ZFC axioms and progresses to the point where some recognisable non-trivial mathematical statement is proved. By recognisable I mean something that you may encounter in school/early university level and is not purely set-theoretical (e.g. infinitely many primes, triangle inequality, etc.). Can anyone recommend a text or combination of texts to me if such a collection exists? Thanks.