Definitions from Wikipedia (Gentzen's consistency proof)

▸ noun:  a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936.


▸ Words similar to Gentzen's consistency proof
▸ Usage examples for Gentzen's consistency proof

▸ Idioms related to Gentzen's consistency proof
▸ Wikipedia articles (New!)
▸ Words that often appear near Gentzen's consistency proof
▸ Rhymes of Gentzen's consistency proof

▸ Invented words related to Gentzen's consistency proof