Significados de platonista forte em português

Assim, o platonista forte de Balaguer reduz a existência matemática à consistência, mas esta última é uma noção matemática como qualquer outra.

Se esta "teoria da consistência" (ou talvez metamatemática) fosse consistente, então o platonista forte declará-la-ia verdadeira acerca de alguma parte do universo matemático.