ペアノ帰納法 Posted 2016-07-03 by kztkymある自然数があるとき、 から までのすべての整数を合計は、である。 （証明） を仮定し、を代入する 両辺を展開して、 分母を揃え 左辺を整理すると
