„aus einer bewiesenen Definition ableitbare Aussage (Logik)“

Wir kennen eine Lösung mit 11 Buchstaben für die Frage „aus einer bewiesenen Definition ableitbare Aussage (Logik)“.