形式科学 (形式科學) xíngshì kēxué

xíngshì kēxué noun formal science
Domain: Science 科学 , Concept: Discipline 学科
Notes: Includes disciplines studying formal systems, such as mathematics, logic, and theoretical computer science (CC-CEDICT '形式科學'; Guoyu '形式科學')