Доказуемая цифровая дефицитность в бесконечном мире