Not quite. I don’t think there’s a unique canoncial bijection—I embrace there truly being multiple countable infinities. Although I do want to insist on some regularity. And computability is relevant here, as it makes it much easier to show that certain consistent labellings exist
Not quite. I don’t think there’s a unique canoncial bijection—I embrace there truly being multiple countable infinities. Although I do want to insist on some regularity. And computability is relevant here, as it makes it much easier to show that certain consistent labellings exist