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