1976._Bezboruah,_Shepherdson:_Gödel's_Second_Incompleteness_Theorem_for_Q