Velleman's book with Alexander George, Philosophies of Mathematics, is a good introduction to that subject, and has a nice walkthrough of ZFC.
Typographic jacket · original cover not fetched
FROM THE SHARED SHELF · 2006–2026 SAMPLE
Philosophies of Mathematics
1 reader recommends it across 1 discussion
Topics are model-inferred labels.
Keep it on your reading list
THE WORD OF MOUTH
What made it worth passing on?
Original Hacker News comments, in the readers’ own words.