A. D. Aleksandrov; A. N. Kolmogorov; M. A. Lavrent’ev