Indeed, but one of Eliezer’s points was that mathematical objects, e.g. the set of prime numbers, don’t need labels. I can write
Indeed, but one of Eliezer’s points was that mathematical objects, e.g. the set of prime numbers, don’t need labels. I can write