A lógica da provabilidade concentra-se na relação entre operadores modais e noções de demonstrabilidade em aritmética formal.

Boolos explora sistemas formais e interpretações aritméticas; a análise inclui reflexões sobre consistência e completude.

Leitura orientada a leitores interessados em fundamentos da lógica matemática e nas conexões entre lógica modal e teoria da demonstração.