Die Frage ist dann etwa: Wie muß man ein System von Axiomen richtig interpretieren damit es zur Darstellung einer Variablen wird?