https://9dok.net/document/q7wkl10k-formale-modellierung-vorlesung-vom-prädikatenlogik-erster-stufe.html