I’m arguing from the standpoint that we establish the idea of counting using the naturals - it’s countable if it maps to the naturals, thus the link. Apologies for the lack of clarity.