I'd argue the distinction is not as clear as you think. You use the words proven & true as if the word we use to describe gravity isn't "theory."

Considering Philosophy to be a superset, inclusive of mathematics but not exclusive to it, means portions of philosophy such as logic & applied ontology (aka statistics) fit within your axiomatic definition.