Considere as quatro sentenças enumeradas a seguir.
I Para cada y, existe algum x, tal que x < y.
II Para cada x e para cada y, se x < y então existe algum z, tal que x < z e z < y.
III Para cada x, se 0 < x, então existe algum y tal que x = y × y. IV Existe algum x tal que, para cada y, x < y.
Suponha que, nessas sentenças, x, y e z sejam variáveis que podem assumir valores no conjunto dos números naturais no dos números inteiros
no dos números racionais
ou no conjunto dos números reais...




