Like everything. You can recognize it. Then its simple to prove an axiom is an axiom. It is just recognized as such. The recognition I imagine can be done with machine learning.

Like everything. You can recognize it. Then its simple to prove an axiom is an axiom. It is just recognized as such. The recognition I imagine can be done with machine learning.