“The Hilbert's Hotel thought experiment demonstrates that the union of countably many countable sets is still a countable set.”