Variable, Variablengrundbereich, Term, Aussage, Lösung, Lösungsmenge