< Mathematische Logik < Gemischte Satzabfrage < 15
Formuliere die folgenden Sätze.
- Der Satz von Wiles (Großer Fermat).
- Der Vollständigkeitssatz für Tautologien (Prädikatenlogik).
- /Fakt/Name
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.