Formal Science

knowledge:branch:formal_science

形式科学 — the study of formal systems (math, logic, computation).