Gentzen's consistency proof

From Free net encyclopedia