SMS versenden: Metodologičeskije problemy intuicionnoj matematiki