On Mathematical Formalism in High School Curricula A. Ya. Khinchin — 2000 The Teaching of Mathematics