Frederic Brenton Fitch A Demonstrably Consistent Mathematics - Part II. 121-124 1951 16 J. Symb. Log. 2 db/journals/jsyml/jsyml16.html#Fitch51