Text this: Методологические проблемы интуиционистской математики