Find link

language:

Find link is a tool written by Edward Betts.

searching for Gentzen's consistency proof 1 found (13 total)

alternate case: gentzen's consistency proof

Mathematical logic (8,329 words) [view diff] exact match in snippet view article find links to article

Gödel's work by 1934. The second volume in 1939 included a form of Gentzen's consistency proof for arithmetic. A detailed study of this terminology is given