Logic, Explainability and the Future of Understanding (2018)

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?

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