A Matemática é Descoberta ou Inventada? Onde Existem os Números e as Formas: Platonismo, Formalismo, Estruturalismo e a “Irracional Eficácia”