Tu définis l'exponentielle comme l'unique solution de
y' = y
y(0) = 1
Tu définis le log comme l'unique primitive de la fonction inverse qui s'annule en 1 (on a donc ln'(x) = 1/x).
Puis tu appelles f la réciproque du logarithme (on suppose qu'on connaît ses propriétés, donc que c'est une bijection de R+* sur R), tu dérives f, et tu montres que f vérifie
y' = y
y(0) = 1
Par unicité de la solution de ce système, f = exp.
J'ai passé des trucs sous silence (l'unicité, qui n'est pas évidente, la dérivation d'une réciproque) mais c'est l'idée.