Arrazoibide matematikoa eta frogagintza: alderdi teorikoak eta didaktikoak