Variablen/Axiome/Analogien/Aufgabe

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