Отправить по sms: Методологические проблемы интуиционистской математики