"constructive mathematics" Deutsche bedeutung