En lo que se refiere a las matemáticas, representa una muy eficiente alternativa a la filosofía platónica para describir objetos matemáticos como números, conjuntos y funciones.