Gegenstandsvariable (formale Logik)

eine Variable für Gegenstände; sie wird benötigt bei der logischen Zusammensetzung von Aussagen u. a., die mit den Quantoren »alle«, »einige« gebildet werden.