G. Gentzen has founded in his well known paper The author has generalized in his former paper The proposition " Every provable sequence in GLC (resp. G¹LC ) is provable without cut " was called the funda- mental conjecture of GLC (resp. G¹LC ), and it was shown that from this conjecture would follow the consistency of the analysis (resp. of the theory of real numbers).
No takes yet. Share an insight, caveat, or question.
Gaisi Takeuti (1955) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: