Die mathematischen Sätze als Katalognummern der Beweise (Ursell). Wie wüßte man sonst, welchen Satz wir den vom Beweis bewiesenen nennen sollten?
    Wie ist es aber mit unbewiesenen Sätzen? Nun, die warten eben noch auf Beweise, die sie katalogisieren, oder sie sind ihre eigenen Beweise (Axiome).

190