George Boolos Reflection Principles and Iterated Consistency Assertions. 33-35 1979 44 J. Symb. Log. 1 db/journals/jsyml/jsyml44.html#Boolos79