公理化理论造句

例句与造句

1. 这允许我们使用不等式公理化理论而在不等式展开为等式的时候仍有纯粹等式公理化。
2. 一阶(递归)公理化理论是通过增加一阶句子/断定的递归可枚举集合作为公理，可以被公理化为一阶逻辑扩展的理论。
3. 用公理化理论造句挺难的，這是一个万能造句的方法