>>140
教師は教えている数学がどのような公理の上に成り立っているかを示し、数学的帰納法がその公理と同値であることを示さなければならない