Проверка согласованности модели FOL

Question

Я разрабатываю модель в логике первого порядка. Я хотел бы доказать, что это соответствует. Является ли это возможным? Есть ли бесплатный инструмент, который я могу использовать для этого?

Или это невозможно из-за теорем Годеля?

С наилучшими пожеланиями.

Answer 1

Да, можно проверить согласованность модели. И есть несколько бесплатных инструментов с открытым исходным кодом с этой функцией, например, Protégé