(∀n ∈ N) (∃m ∈ N) (n = m + 1)
Leia-se:
(∀n ∈ N) = Para qualquer número n que pertence ao conjunto dos números naturais...
(∃m ∈ N) = ... existe um número m que pertence ao conjunto dos números naturais...
(n = m + 1) = ...tal que n = m + 1
Alguns autores consideram zero um número natural.
Supondo que zero ∈ N, segue que:
Se n = 0, então não existe um número m ∈ N que satifassa n = m + 1. Pois m seria negativo.
Se zero não for parte dos números naturais, não faz mal.
Se n = 1, então não existe um m ∈ N que satifassa n = m + 1. Pois m seria zero e zero é um número natural (é número inteiro).
Logo, a afirmativa é falsa em qualquer caso.
http://rlm101.blogspot.com.br