A expressão simbólica (∀x ∈ R) (∀n ∈ N) [(x ≥ 0) ∧ (n ≠ 0) ⇒ (∃y ∈ R) (yn = 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
yn = x”.