Без заголовка

Так любая теория эти логику-онтологию-эпистемологию содержит "из коробки". Ну, или тогда нужно сказать, что в праксиологии ни аксиом, ни логики нет. Что не так. Нужно просто это признать и дальше там обычный model checking будет, как с любыми другими априорными науками.