Henryk Kotlarski On the Incompleteness Theorems. 1414-1419 1994 59 J. Symb. Log. 4 db/journals/jsyml/jsyml59.html#Kotlarski94