Ορισμός και Σημασία του "formal science"

a branch of scientific knowledge that deals with formal systems, such as mathematics, logic, and theoretical computer science