标签： logic theorem-proving model-checking theorem
我正在开发一阶逻辑模型。我想证明它是一致的。可能吗？有没有可以用来做这个的免费工具？
或者由于Godel定理，这是不可能的？
祝你好运。
答案 0 :(得分：0)
是的，可以检查模型的一致性。还有一些免费的开源工具具有此功能，例如Protégé