text: Генцен (1934) в дальнейшем ввел так называемое исчисления секвенций, которое лучше выражало дуальность логических связок, и продолжал делать фундаментальные вклады в формализацию интуиционистской логики; он также обеспечил первое комбинаторное доказательство непротиворечивости арифметики Пеано.