Metadata
Author: WikiMatrix
Data
English[en]
The need to formalize arithmetic was not well appreciated until the work of Hermann Grassmann, who showed in the 1860s that many facts in arithmetic could be derived from more basic facts about the successor operation and induction.
Korean[ko]
산술을 형식화할 필요성은 1860년대에 헤르만 그라스만이 산술의 많은 사실들이 따름수 연산과 수학적 귀납법에 대한 보다 단순한 사실들로부터 유도될 수 있다는 것을 보이기 전까지는 그다지 인식되지 않았다.