Considere a sentença aberta g(n) definida no conjunto dos Números Naturais, com n também pertencente aos Naturais:

g(n): n -1 < 8

O conjunto verdade para a sentença, considerando que os extremos indicados não fazem parte do conjunto, se refere a: