Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.