Dies ist mein Arbeitsstand für den Artikel Prädikatenlogik erster Stufe (ist momentan eine Weiterleitung).
