Talk:Object theory

Page is of low quality
I don't think this page should exist. I have created a merger discussion, and I think it would be good to just see it turned into a redirect for Object language.

It would seem to me that this page is based on somebody's serious misunderstanding of Kleene's book on metamathematics. 'Object theory' is not a distinct theory of math, it's a term one might circumstantially use to refer to one theory when it is being interpreted in terms of another: the object theory is interpreted by the meta-theory. Here, the use of the term object is precisely that of Object language. Jackcrawf3 (talk) 11:47, 2 September 2021 (UTC)