Denken wir uns den Satz: „Für alle rationale Zifferntrippel die ich in xn + yn = 1 probieren kann, wird die Gleichung falsch”. Das ist ein sinnvoller || richtiggebauter Satz und er ist im Endlichen
festgehalten.