2007-05-15から1日間の記事一覧

公理的集合論における自然数の存在(その 11)

1 から始まる数学的帰納法 これまで用いてきた数学的帰納法は 0 から始まるものでした。しかし、数学的帰納法は、必ず 0 から始まるとは限りません。むしろ、高校で習った(人もいる)ように、1 から始まる場合の方が多かったりします。そこで、そのような場合…