The Unprovability of Consistency: An Essay in Modal Logic