[thesmtsolver2]

“Prove X without using the axioms need to prove X.”

[nextaccountic]

Philosophy is not math

If you are going to invoke an axiom or whatever in philosophy, you need to justify it