Frederic Brenton Fitch The Consistency of System Q. 67-76 1981 46 J. Symb. Log. 1 db/journals/jsyml/jsyml46.html#Fitch81