Envoyer par SMS: Metodologičeskije problemy intuicionnoj matematiki