Entscheidend für die Akzeptanz einer mathematischen Aussage, die von solchen Variablen Gebrauch macht, ist also nicht ein Bezug zu etwaigen Objekten, was auch immer sie sein mögen, sondern nur die korrekte Verwendung innerhalb des formalen Systems.