Logic, Explainability and the Future of Understanding (2018) (writings.stephenwolfram.com)

Doesn't this falsely equate "simpler" to "fewer axioms"? If you let each axiom be as complex as possible, what have you simplified?

Should I be bothered that "=" is (((x•x)•(y•y))•(x•y)) so if he's going to write his axiom in terms of NAND, he needs to write all of it using NAND?