"formell teori" er et 13-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Teori basert på formelle regler og strukturer.