c5d822d96d1c019

http://nhiro.org.s3.amazonaws.com/d/e/de3ec25c9fd835d56fd2317505c1b09c.jpg https://gyazo.com/de3ec25c9fd835d56fd2317505c1b09c

(OCR text)

ペアノ

ペアノによる公理の導入によって

数学的帰納法の帰納の部分がなくなった

残るのは演鐸だけなので

「ペアノの公理を認めるなら

数学的帰納法は演鐸」

はTrue

14年8月7日木曜日

20