Цахим шуудангийн бүртгэл: Доказуемое и недоказуемое