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