Nun, der Beweis involviert eine neue Technik der Zahlbestimmung – wie man sagen könnte. Aber statt des allgemeinen Ausdrucks “Zahlbestimmung”, wäre es besser ganz speziell von einer Bestimmung der Menge der “~” zu reden. || einen ganz speziellen zu verwenden für die Bestimmung der Menge der Negationen.