 Induction: Every formula \(\phi\) expressed in the language of sets only (all parameters are sets and all quantifiers are restricted to sets) and true of \(\varnothing\) and true of \(x \cup \{y\}\) if it is true of \(x\) is true of all sets.