G. Kreisel Mathematical Significance of Consistency Proofs. 155-182 1958 23 J. Symb. Log. 2 db/journals/jsyml/jsyml23.html#Kreisel58