"formelbasert språk" er et 18-bokstavers substantiv som brukes som synonym for "formelspråket". formelspråket betyr: Språk som er basert på bruk av formler og matematiske uttrykk.