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).