Before revision: By enumerating algorithms, we can show that the computable numbers are clasically countable.
After revision: By enumerating algorithms, we can show that the computable numbers are classically countable.