noun
formal science
Academic term for sciences that study formal systems, such as logic, mathematics, and theoretical computer science, as opposed to empirical sciences.
数学や論理学は形式科学に分類される。
Mathematics and logic are classified as formal sciences.
Compound of 形式 (form, format) and 科学 (science). The term is a direct translation of the English 'formal science'.