It’s a well known fact that it is possible to enumerate all the provable statements in a given formal system without skipping any.
You’re right, there is no problem here, as long as you enumerate everything.
You’re right, there is no problem here, as long as you enumerate everything.