Cita de Nidditch/es

La lógica matemática es el resultado de la convergencia de cuatro líneas de pensamiento. Estas líneas son: (1) la lógica antigua, que fue invención de Aristóteles ; (2) la idea de un lenguaje completo y automático para el razonamiento; (3) los nuevos progresos en álgebra y geometría acaecidos después de 1925, y (4) la idea de que hay partes de la matemática que son sistemas deductivos, esto es, cadenas de razonamientos que se conforman a las reglas de la lógica (que son reglas por virtud de las cuales podemos pasar de un enunciado E1 a otro enunciado E2, siendo E2 necesariamente verdadero siempre que se considere que E1 es verdadero).