Ich sage: Der sogenannte “Fermat'sche Satz” ist kein Satz. (Auch nicht im Sinne der Arithmetik) Ihm entspräche vielmehr ein Induktionsbeweis. Wenn es nun aber eine Zahl F gibt 0,11000 etc. und jener Beweis gelingt, dann wäre doch damit bewiesen, dass F = 0,11 und das ist doch nun ein Satz! Oder: Es ist dann ein Satz, wenn das Gesetz F eine Zahl ist.