It's empirical metamathematics if you attempt this with networks of axioms/theories
https://www.wolframscience.com/metamathematics/empirical-met...
https://writings.stephenwolfram.com/2020/09/the-empirical-me...