 The idea is that a person who can already reason as well as use an informal meta-language to set up the object language can come to reason with greater rigor and to a greater extent in the object language. At which point, having pulled herself up by her bootstraps, she should no longer have any need for an informal meta-language. (Of course, a meta-language is still needed to prove certain meta-theorems about the object language such as its consistency.)