Es sei
die kanonische Primfaktorzerlegung der natürlichen Zahl . Es sei eine positive natürliche Zahl und sei vorausgesetzt, dass nicht alle Exponenten ein Vielfaches von sind. Dann gibt es keine rationale Zahl mit der Eigenschaft
d.h. innerhalb der rationalen Zahlen besitzt keine -te Wurzel.
Es sei
eine positive reelle Zahl. Dann ist die Exponentialfunktion