Roland Meyer SoSe 2013

Bemerkung
Bemerkung 2.5
Eigenschaften der Elemente von T werden durch strukturelle
Induktion bewiesen.
Die Menge T der Theoreme ist rekursiv aufzählbar, da Ax und R
entscheidbar und so aufzählbar sind.
Die Menge der Beweise
ist entscheidbar.
Bew := {B 1 ,...,B n ∈ F + | B 1 ,...,B n ist Beweis}
Ist Σ entscheidbar, dann gelten die Aussagen entsprechend.
Insbesondere ist Folg F (Σ) aufzählbar.
Roland Meyer (TU Kaiserslautern) Logik SoSe 2013 44 / 189