Diskussion:Elementare Sprache
Umarbeitung
[Quelltext bearbeiten]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
[Quelltext bearbeiten]- „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
[Quelltext bearbeiten]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
[Quelltext bearbeiten]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!