Geometry is a nice example of what can be done with different systems of axioms. Can the different tetration methods be reduced to their axioms or systems of axioms?
A preliminary list of complex tetration's "Schroeder" requirements
A preliminary list of complex tetration's "Schroeder" requirements
- Banach fixed-point theorem
- Analytic functions
- \[f^0(z)=z; f^a(f^b(z))=f^{a+b}(z)\]
Daniel

