I am reading Herbert Enderton's book "A Mathematical Introduction to Logic". On page 18, the Induction Principle is defined as:
"If S is a set of wff's containing all the sentence symbols and closed under all five formula-building operations, then S is the set of all wff's."
The five formula-building operations are formulated from the sentential connective symbols (negation, or, and, if, iff).
I understand the definition and the proof of this statement. However I am struggling with a few difficulties.
Do we have to assume ZFC in order to construct sentential logic? The proof given from the Induction Principle seems to be based on 'numerical' strong induction to me.
This Induction Principle looks nothing like the type of induction that I am accustomed to (assume p(x) and show p(x+1) ). Is the name misleading or will this 'induction principle' allow us to perform inductive proof in sentential logic? If so, how? The only possible connection I could see is that this principle might have something to do with well ordering?
Thank you for any explanation.