592
     Übrigens: Eine Zahl, die heute auf bewußte Weise mittels des Fermat'schen Satzes definiert ist, wird dadurch nicht geändert, daß der Beweis dieses Satzes, oder des Gegenteils, gefunden wird. Denn der Kalkül dieser Zahl weiß von dieser Lösung des Problems nichts (und wird auch dann nichts von ihr wissen).