c5d822d96d1c018

http://nhiro.org.s3.amazonaws.com/8/0/801b22fc16274c8b00db606bdb322097.jpg https://gyazo.com/801b22fc16274c8b00db606bdb322097

(OCR text)

一般化

すべての自然数 についてP(n)

P(D P(2) P3) P(4) P(5) P(6)

特殊化

Р(5)

Р(3)

従来:帰納によって「すべての自然数~」を導く

ペアノ以降:自然数の定義によりこの2つは同値

14年8月7日木曜日

19