Automation 需要帮助，以建立一个小型项目的基础上自动定理证明使用C语言

我是计算机科学与工程专业四年级的理工学士学生，我们的团队正在进行一个关于自动定理证明的小型项目。我们的主要目标是根据我们提供给验证程序的公理和输入，找出几何定理是否有效。我们想用C编程语言设计代码，但最初的问题是我们找不到一种方法来表示公理。有没有办法解决这个问题？

你有没有试过用数学的方法来表达这些公理？或者试着用逻辑法则。你试过用数学的方法来表达公理吗？或者尝试使用逻辑法则。