This book written by one of the most distinguished of contemporary philosophers of mathematics is a fully rewritten and updated successor to the author''s earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians.