"solvable set" Deutsche bedeutung