Of course Gödel published his incompleteness theorem just at the time Gentzen was beginning his work.
Ng mga kurso Gödel-publish na ang kanyang incompleteness teorama lamang sa panahon Gentzen ay simula ng kanyang trabaho.