Angenommen, wir nennen den Satz, daß 7 durch keine kleinere Zahl außer der 1 teilbar ist “das Gesetz der heiligen Zahl” und würden es in den Worten “7 ist die heilige Zahl” aussprechen. Dann hätten wir hier einen ähnlichen Fall wie den des “Hauptsatzes der Algebra” und anderer ‘Sätze’, die eigentlich eine individuelle Berechnung || Rechnung benennen, die wir den Beweis des Satzes nennen.