Este libro aborda la metodología y la filosofía detrás de la construcción de demostraciones matemáticas, examinando la naturaleza del rigor y la fundamentación lógica en las matemáticas, y cómo estas construcciones lógicas subyacen a toda la disciplina.
