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

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