Frege's theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Frege's theorem" in English language version.

refsWebsite

Global rank English rank

3,337^th place

3,444^th place

179^th place

183^rd place

6^th place

5^th place

archive.org

Boolos, George (1998). Logic, Logic, and Logic. Edited by Richard C. Jeffrey, introduction by John P. Burgess. Cambridge, Mass: Harvard University Press. p. 154. ISBN 9780674537675. OCLC 37509971. Frege's startling discovery, of which he may or may not have been fully aware and which has been lost to view since the discovery of Russell's paradox, was that arithmetic can be derived in a purely logical system like that of his Begriffsschrift from this consistent principle and from it alone.

Boolos, George (1998). Logic, Logic, and Logic. Edited by Richard C. Jeffrey, introduction by John P. Burgess. Cambridge, Mass: Harvard University Press. p. 154. ISBN 9780674537675. OCLC 37509971. Frege's startling discovery, of which he may or may not have been fully aware and which has been lost to view since the discovery of Russell's paradox, was that arithmetic can be derived in a purely logical system like that of his Begriffsschrift from this consistent principle and from it alone.