Esta crítica del conocimiento sintético a priori argumenta que las únicas verdades auto-evidentes a la razón son proposiciones que son verdaderas por definición, tales como las proposiciones de la lógica formal y de las matemáticas.