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 8Frege's theoremNarrower topic: The theorem's strength comes from quantifying over concepts, not individuals alone.