c5d822d96d1c017

http://nhiro.org.s3.amazonaws.com/5/0/507e92a275e465a8ec8e6dcb5960d596.jpg https://gyazo.com/507e92a275e465a8ec8e6dcb5960d596

(OCR text)

ペアノ

自然数の最初の一つが存在する

「次の自然数」を持つ

すべての自然数が

などのいくつかの公理を導入すること

で「自然数」を定義した(1891年)

14年8月7日木曜日

18