Frege's theorem
From Wikipedia, the free encyclopedia
Frege's theorem states that the axioms of second-order arithmetic can be derived in second-order logic from Hume's principle. It was first proven, informally, by Gottlob Frege in his Foundations of Arithmetic, published in 1884, and proven more formally in his Basic Laws of Arithmetic, published in two volumes, in 1893 and 1903. The theorem was re-discovered by Crispin Wright in the early 1980s and has since been the focus of significant work. It is at the core of the philosophy of mathematics known as neo-logicism.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
