§ Second order arithmetic
- First order arithmetic has variables that range over numbers
- Second order arithmetic has variables that range over sets of numbers
- Ref: Jeremy Avigad on forcing
- Axiomatic second-order arithmetic is often termed “analysis” because, by coding real numbers and continuous functions as sets of natural numbers, one can develop a workable theory of real analysis in this axiomatic framework.