Gödel's Incompleteness Theorems - Ep. 6.5: Genzen's Proof of the Consistency of Arithmetic HD

Between the end of 19th and the beginning of the 20th Century the field of mathematics and logic suffered a profound crisis.