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