Si queremos probar alguna propiedad sobre todos los triángulos, dibujamos algún triángulo y razonamos sobre él; podemos obviar el uso de cualquier propiedad que no comparta con los demás triángulos y no obstante, de nuestro caso particular, obtenemos un resultado general.De hecho no sentimos que nuestra certeza de que dos más dos son cuatro se incremente por nuevos casos, porque, tan pronto como vemos la verdad de esta proposición, nuestra certeza es tal que es incapaz de hacerse mayor. Es más, sentimos cierta cualidad de necesidad sobre la proposición “dos y dos son cuatro”, que está ausente inclusive de las generalizaciones empíricas más probadas. Tales generalizaciones siempre permanecen como meros hechos: sentimos que puede haber un mundo en donde puedan ser falsas, a pesar de que en el nuestro resultan ser verdaderas. En cualquier mundo posible, al contrario, sentimos que dos y dos son cuatro: esto no es un simple hecho, mas una necesidad en la cual todo lo real y lo posible se debe conformar. 