§ 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.