在無限世界中的可證明數位稀缺性