In Alfred Tarki's metalanguage concept, the object language is where statements can be made about objects:


Object language statements cannot ascribe truth or falsehood to other statements; the words "true" and "false" do not belong to the object language vocabulary. Assertions about truth belong to the metalanguage.