How much math do we need to prove all simple numeric identities?

As far as I know, this is an open problem. It might be the case that even $ZFC$ axioms are not sufficient to settle all such questions, or that the problem is even undecidable (although it seems unlikely). The main issue that we know very little about behavior of repeated exponentiation. For example, it is unknown if the following number is an integer: $$2^{2^{2^{2^{2^{2^{1/2}}}}}}$$ Personally, I expect that there are no surprises to be discovered in the repeated exponentiation, that this number will eventually be proved to be transcendental, and that there are no unexpected identities in your class of expressions that could not be explained using only "high-school" algebra rules. But these are only conjectures.