Цахим шуудангийн бүртгэл: Методологические проблемы интуиционистской математики