Aunque superficialmente similar por el tema de lógica, este libro se enfoca más en un resultado específico y sus ramificaciones, en lugar de un panorama general de la relación entre verdad y lógica. Se adentra en la demostración metamatemática, ofreciendo una perspectiva distinta a la de un tratado sobre la lógica moderna.






















