In a paper published in Mathematische Zeitschrift in 1935 Gentzen introduced two new versions of predicate logic now called the N-system and the L-system.
Sa isang papel na nai-publish sa Mathematische Zeitschrift sa 1935 Gentzen nagpasimula ng dalawang mga bagong bersyon ng lohika na totoo na ngayon na tinatawag ang N-system at ang L-sistema.