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".