Disambiguation evidence for Gentzen’s consistency proof for arithmetic via surface form
"Gentzen’s consistency proof for arithmetic"
Triples (2)
Triples where some other subject referred to this entity
as "Gentzen’s consistency proof for arithmetic".
Hilbert’s second problem
→
connectedToResult
→
"Gentzen’s consistency proof for arithmetic"
ⓘ
↳ resolves to Gentzen’s consistency proof for arithmetic
cut-elimination theorem
→
motivated
→
"Gentzen’s consistency proof for arithmetic"
ⓘ
↳ resolves to Gentzen’s consistency proof for arithmetic