Cuando un matemático razona de la afirmación 'ABC es un triángulo' a la afirmación los 'triángulos existen', no afirma que los triángulos están compuestos de átomos sino que los triángulos existen dentro de un modelo matemático particular.