アロンゾ・チャーチ
In 1944, Alonzo Church emphasized that Gentzen's sequent assertions did not signify provability.