Gentzenian

== English == === Etymology === From Gentzen +‎ -ian. === Adjective === Gentzenian (comparative more Gentzenian, superlative most Gentzenian) Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician. ==== Related terms ==== Gentzenize Gentzenization