“Wir fühlen: Die Allgemeinheit, die die mathematische Behauptung hat, ist anders als die Allgemeinheit des Satzes, der bewiesen ist.”