А потом нужно проверить верность аксиом и незыблемость теорем. Логикой и рацинализацией. В которых еще будет 200 ошибок фундаментальных. Для меня критерий верности- прагматичность. Типа как это работает на практике в жизни.
_____________
Одному будете радеть а другого ненавидеть..Труфальдино