Wir mischen uns nicht in das, was der Mathematiker tut, erst wenn er behauptet Metamathematik zu treiben, dann kontrollieren wir ihn.