Talk:Object theory

Latest comment: 3 years ago by Jackcrawf3 in topic Page is of low quality

Page is of low quality

edit

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)Reply