Boken "The Unprovability of Consistency" utforsker forbindelsene mellom to viktige grener av logikk: bevisteori og modal logikk. Modal logikk tar for seg prinsippene som styrer konseptene nødvendighet og mulighet, mens bevisteori delvis omhandler prinsippene som regulerer bevisbarhet og konsistens. I denne boken analyserer George Boolos prinsippene for bevisbarhet med et fokus på modal logikk. Han gir leserne to ulike perspektiver på den pågående debatten innen modal logikk, som har vart i over treti år, mellom tilhengerne av C. I. Lewis og W. V. O. Quine. Boolos anvender semantiske metoder utviklet av Saul Kripke i sin analyse av modale logiske systemer. Boken retter seg mot videregående og masterstudenter innen logikk, matematikk og filosofi, samt spesialister innen disse fagområdene.
