A expressão simbólica (∀x ∈ R) (∀n ∈ N) [(x ≥ 0) ∧ (n ≠ 0) ⇒ (∃y ∈ R) (yⁿ = x)], em que R e N denotam os conjuntos dos números reais e dos números naturais, respectivamente, representa a proposição “para todo número real não negativo x e todo número natural não nulo n existe um número real y, tal que yⁿ = x”.