KnowraSecond-order logicLinked fromLinked fromThe 13 pages that link to Second-order logic, each with the reason it gives.All 13Broader topic 2Related 2Narrower topic 1Compared with 8LogicismRelated: Frege’s arithmetic depends on second-order principles stronger than ordinary first-order logic.Peano axiomsRelated: Its induction axiom quantifies over every property, giving the natural numbers a categorical characterization.