Metadata
Author: WikiMatrix
Data
English[en]
It was first proven, informally, by Gottlob Frege in his Die Grundlagen der Arithmetik (The Foundations of Arithmetic), published in 1884, and proven more formally in his Grundgesetze der Arithmetik (Basic Laws of Arithmetic), published in two volumes, in 1893 and 1903.
Spanish[es]
Fue demostrado informalmente por Gottlob Frege en su Die Grundlagen der Arithmetik (Fundamentos de Aritmética), publicado en 1884, y luego demostrado formalmente en su Grundgesetze der Arithmetik (Reglas básicas de aritmética), publicado en dos volúmenes, en 1893 y 1903.