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

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

べき乗に関する性質 べき乗に関する性質として (1) (2) を挙げておきます。いずれも証明は数学的帰納法を用いますが、もう同じようなことを何度も繰り返すのも面倒なので、定義に基づいて各自で確かめてみてください。 全単射と集合の対等 単射・全射といっ…