Verständnisfragen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | (i) eine endliche Theorie kann nicht vollständig sein
(ii) Über einer Sprache L ohne Konstantensymbole gibt es keine Henkin Theorie
(iii) Über einer Sprache L mit endlich vielen Konstantensymbole gibt es keine Henkin Theorie |
Hallo,
diese drei aussagen sollen wahr oder falsch sein, aber füe mich erschließt sich das nicht. zu (ii) und (iii): ist es nicht so das man bei der "henkinisierung" unendlich oft um ein Konstantensymbol erweitert um alles abzudecken?!
Zu (iii) würde mir aber auch eine Menge 1-n einfallen in der S(1) -> 2, S(S(1)) -> 3 , S(S(S(1)))->4 usw. und somit wäre 1 Konstant und man kann damit jeden Nachfolger darstellen und somit wäre es eine HenkinsTheorie.
zu (ii) wäre dies ganz ohne Konstantensymbol nicht möglich, da man ja nur die Funktion S hätte, demnach wäre es keine Henkin Theorie?
zu (i) habe ich leider keine idee... Wüsste aber nicht wieso eine endliche Theorie nicht vollständig sein sollte
Kann mir hier vielleicht jemand helfen und oder hat ein Beispiel parat?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:20 Sa 07.02.2015 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
