Reflections of A. Ya. Khinchin (1894--1959) on: mathematical formalism; the need for proper connection between the content of mathematical facts and their outward, superficial descriptions; the three levels of mathematical knowledge and connections between them.