Definition av objektspråk
- språk som beskrivs av annat språk (t.ex. språkvetenskap)
Det språk man använder metaspråk för att tala om kallas objektspråk.
Tarski drar slutsatsen att sanningsvillkoren för ett objektspråk O endast kan uttryckas i ett språk på högre nivå, ett så kallat metaspråk.
Metalogiken har sitt eget system av begrepp, utöver objektspråkens, för att kategorisera systemen och beskriva deras egenskaper.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.