Definition, Grundaxiome und Eigenschaften der Wurzeln