>>45
写像とは集合から集合への関数のことだ
教科書的にはな

自然数を当然視することは、俺に言わせれば健全なことなんだよ

そもそも、世界には数的な振る舞いがもともとあって、それは数を論理で縛る前からあるわけだ
だいたい、計算機などというものは、物体の振る舞いなのだから
ところが人間は元来、論理主義なので、数を論理で縛ろうとする
そうしなければ数理における真理を証明できないから
だから数学的帰納法によって自然数を構成しようとする

おまえにとってはチグハグでも、俺には普通の考え方