Diskussion:Elementare Sprache

Umarbeitung

Ich habe den Artikel umgearbeitet und gekürzt. Die Nomenklatur habe ich an das Buch von Ebbinghaus angepasst.Dhanyavaada 18:50, 7. Okt. 2009 (CEST)

Beweis-Erfahrung

„und dass sich alle beweisbaren Aussagen innerhalb einer Sprache erster Stufe mit Hilfe des Sequenzenkalküls ableiten lassen“

Was soll das heißen? „beweisbar“ in einem intuitiven Sinne? Sollte man hier nicht den Vollständigkeitssatz erwähnen? Und wieso gerade das Sequenzenkalkül? --Chricho ¹ 15:31, 27. Dez. 2011 (CET)

Fehler im Beispiel: Gruppe

Offenbar besitzt die Sprache der Gruppe ein "Funktionssymbol" und kein "Relationssymbol". (nicht signierter Beitrag von 80.226.24.9 (Diskussion) 22:46, 26. Nov. 2013 (CET))

Unklare Bezüge

Unter der Überschrift Hinweise stehen zwei Bezüge, (f)(3) und (f)(1), mit unerschließlicher Bedeutung. Vielleicht kann jemand (sogar unter Weglassung dieser kryptischen Abkürzungen?!) erklären, was in diesem ersten Punkt der Hinweise gemeint ist. – Danke im Voraus!