- #1
JJ1979
- 5
- 0
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.
Can anyone recommend a text or combination of texts to me if such a collection exists? Thanks.