Variablen/Axiome/Analogien/Aufgabe
Beschreibe Analogien zwischen Formeln, in denen Variablen vorkommen, und Axiomensystemen.
Eine Lösung erstellen