Математика — это открытие или изобретение? Где существуют числа и фигуры: платонизм, формализм, структурализм и «непостижимая эффективность»