Stav dette: The Logic of Provability/