Variablen/Axiome/Analogien/Aufgabe

Aus Wikiversity
Beschreibe Analogien zwischen Formeln, in denen Variablen vorkommen, und Axiomensystemen.