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

✓ / \