Frege's Theorem

Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hume's principle.