I think that both you and svantana are talking about countability, which is not the point of this post but just a tool used to prove the theorem of indescribable numbers.