#kolmogorov mathematics #pure mathematics #mathematical logic #foundations of mathematics #moscow state university