"formell logikk" er et 14-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: System av regler for å formalisere logiske uttrykk.