"positive integer" Deutsche bedeutung