A viabilidade de uma matemática sem neutralidade ontológica