‘Wir wollen nicht nur einen ziemlich zuverläßigen, sondern einen absolut zuverläßigen Kalkül. Die Mathematik muß absolut sein.’