Vocabulary
形式科学
けいしきかがく
formal science
noun