Wird Mathematik entdeckt oder erfunden? Wo Zahlen und Formen existieren: Platonismus, Formalismus, Strukturalismus und die „unvernünftige Effektivität“