In un'equazione, disequazione, o in un sistema di equazioni, di disequazioni o di formule aperte, ciascuna delle variabili di cui non si conosce il valore e che si vogliono determinare affinchè la formula o il sistema di formule risultino proposizioni vere