無限の世界における証明可能なデジタル希少性