-1

我正在开发一阶逻辑模型。我想证明它是一致的。可能吗？我可以使用任何免费工具来执行此操作吗？

或者由于哥德尔定理这是不可能的？

此致。

4

1 回答 1

0

是的，可以检查模型的一致性。并且有几个具有此功能的免费开源工具，例如Protégé

于 2017-04-13T23:04:43.523 回答