Reelle positive Zahl/Quadratwurzel/Eindeutige Existenz/Fakt

Zu jeder nichtnegativen reellen Zahl ${}c\in \mathbb {R} _{\geq 0}$

gibt es eine eindeutige nichtnegative reelle Zahl ${}x$ mit ${}x^{2}=c$ .

Diese Zahl ${}x$ heißt die Quadratwurzel von ${}c$ und wird mit ${}{\sqrt {c}}$ bezeichnet.