Im Abschnitt Übergang steht: "Das logische Prädikat wird in Rolle auch als Prädikator oder genereller Term bezeichnet […]" (meine Hervorhebung) – dieses "in Rolle" ist für mich unverständlich und die einzige Erklärung, die keinen Fehler unterstellt, wäre in meinen Augen, dass "Rolle" ein Fachbuch ist. Direkt davor steht: "[…] Logik auch als uninterpretierter formaler Kalkül über Ausdrücke betrieben werden kann." Wahrscheinlich ist also eigentlich "in dieser Rolle" gemeint, wobei sich das auf das im vorherigen Halbsatz Genannte beziehen soll. Das ist nach meinem Empfinden aber auch eine seltsame Formulierung. Ich schlage daher vor, das "in Rolle" durch "in diesem Kontext" zu ersetzen, wollte aber vorher nachfragen, ob das jemand ganz anders versteht, bevor ich hier eine Verschlimmbesserung eintrage.-- Pripple 15:59, 2. Jun. 2021 (CEST)