Dit boek, geschreven door een van de meest vooraanstaande hedendaagse filosofen van de wiskunde, is een volledig herschreven en bijgewerkte opvolger van de eerdere The Unprovability of Consistency (1979) van de auteur. Het onderwerp is de relatie tussen bewijsbaarheid en modale logica, een tak van de logica die is uitgevonden door Aristoteles, maar veel wordt gekleineerd door filosofen en vrijwel genegeerd door wiskundigen. Hier krijgt het zijn eerste wetenschappelijke toepassing sinds zijn uitvinding. Modale logica houdt zich bezig met de noties van noodzakelijkheid en mogelijkheid. Wat George Boolos doet, is laten zien hoe de concepten, technieken en methoden van de modale logica een briljant licht werpen op de belangrijkste logische ontdekking van de twintigste eeuw: de onvolledigheidsstellingen van Kurt Gödel en de 'zelfreferentiële' zinnen die in hun bewijs zijn geconstrueerd. Het boek onderzoekt de effecten van het herinterpreteren van de noties van noodzakelijkheid en mogelijkheid in bewijsbaarheid en consistentie. Taal: Engels