形式体系化

formalization