Honestly that's not a great example given that you can't understand ZFC until you already know enough set theory to understand the motivations for ZFC.