>>20
ペアノ算術を使った集合論的な観点からみることも出来るよ