Mathematische Logik/Gemischte Satzabfrage/15/Aufgabe/Lösung

< Mathematische Logik < Gemischte Satzabfrage < 15 < Aufgabe

Die diophantische Gleichung
${}x^{n}+y^{n}=z^{n}\,$

besitzt für kein ${}n\geq 3$
eine ganzzahlige nichttriviale Lösung.
Es sei ${}S$ ein Symbolalphabet und ${}\alpha \in L^{S}$ ein ${}S$ -Ausdruck. Dann ist ${}\alpha$ genau dann eine ableitbare Tautologie, wenn ${}\alpha$ allgemeingültig ist.
/Fakt

Zur gelösten Aufgabe

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.