John Gregory Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas. 445-455 1971 36 J. Symb. Log. 3 db/journals/jsyml/jsyml36.html#Gregory71