在无限的世界中可证明的数字稀缺性