1. 形式化：目前为止,我们的一阶逻辑可以形式化(formalize)一些日常生活中的句子,把它变成一阶逻辑当中的语句,像是什麼所有男生都喜欢女生之类的.
2. 正式确认：hrtimer API 正式确认(formalize)了绝对时间和相对时间之间的区别,要求调用者指定类型. cleanup_module 函数提供了这个 API 的其他几个功能,其中之一是 list_for_each 宏,这个宏简化了列表迭代. 对于这个宏,
3. 使正式：formalization 形式化 | formalize 使正式 | formally 正式地