Un lenguaje objeto es un lenguaje que es objeto de estudio en varios campos, incluyendo lógica, lingüística, matemáticas e informática teórica. El lenguaje usado para hablar de un lenguaje objeto se denomina metalenguaje.[1]​ Un lenguaje objeto puede ser formal o natural. [cita requerida]