Ce que veut dire bluestorm, c'est qu'à sa connaissance (ou alors il ne veut pas le dire), il n'existe aucun démonstration de l'existence de cette fonction exponentielle qui n'utlise pas, au moins implicitement, x^0 = 1.

Comme je l'ai dit on décide e⁰ = 1
Après on definie la puissance comme <math>\(x^a = e^{a ln x}\)</math> et là tout colle