// // こんにちは，ぱいです． 無事進級できて4回生になりました．ほっとしてます． このあいだ数学の講演をする機会があり，ペアノの公理から出発して自然数の和や積を定義する話をしました． せっかくなので，ここにもそういう話を書いておこうと思います…