"teoretisk vitenskap" er et 19-bokstavers substantiv som brukes som synonym for "formalvitenskap". formalvitenskap betyr: vitenskap basert på teori og prinsipper