Adjective
Gentzenian (comparative more Gentzenian, superlative most Gentzenian) Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician.