Klausur zur Vorlesung Mathematische Logik - Fakultät für ...

(Eine Alternativlösung, die sogar ohne neue Konstantensymbole auskommt,betrachtet statt T ′ die TheorieT ′′ = T ∪ {∀x(x ≠ 0 → x + x + . . . + x ≠ 0) : n ≥ 1}.} {{ }n SummandenDiese ist offenbar nicht erfüllbar, aber jede endliche TeiltheorieT 0 ⊆ T ∪ {∀x(x ≠ 0 → x + x + . . . + x ≠ 0) : 1 ≤ n ≤ n} {{ }0 }n Summandenbesitzt das Modell (Z p ; + Zp ; 0) für eine Primzahl p > n 0 , was wie zuvor zumWiderspruch führt.)