形けい式しき科か学がく

noun

formal science

Academic term for sciences that study formal systems, such as logic, mathematics, and theoretical computer science, as opposed to empirical sciences.

• 数すう学がくや論ろん理り学がくは形けい式しき科か学がくに分ぶん類るいされる。