Bei einem Beweis wird eine Aussage aus Definitionen und bereits bewiesen Aussagen deduktiv geschlussfolgert.
Ich weiß nicht, wie die Funktion expx definiert wurde. Ich kenne da mehrere Möglichkeiten.
Ich weiß nicht, welche Aussagen zur Exponentialfunktion bereits bewiesen wurden.
Im einfachsten Fall ist
expx: ℝ → ℝ, z ↦ exp(z · ln x)
und es wurden schon die Rechenregeln für exp bewiesen.