Немецкий математик, давший обоснование теории действительных чисел [ответ на сканворд или кроссворд]