"formell vitenskap" er et 17-bokstavers substantiv som brukes som synonym for "formalvitenskapene". formalvitenskapene betyr: Vitenskap basert på formelle systemer og logikk.