“In 1936, Gerhard Gentzen provided a proof of the consistency of arithmetic, but to do it he needed to use a controversial technique known as transfinite induction. This technique is not among the usual methods of proof, and it hardly seemed appropriate for guaranteeing the consistency of arithmetic. What Gentzen had done was prove the obvious by assuming the doubtful.”

“In 1936, Gerhard Gentzen provided a proof of the consistency of arithmetic, but to do it he needed to use a controversial technique known as transfinite induction. This technique is not among the usual methods of proof, and it hardly seemed appropriate for guaranteeing the consistency of arithmetic. What Gentzen had done was prove the obvious by assuming the doubtful.”

— Ted Chiang