Văn bản này: Формальное и интуитивное в математическом познании