OMEGACONSISTENT

A first-order system K is ω-consistent if for every well-formed formula A(x), if ⊦ A(n) for every natural number n, then it is not the case that ⊦(∃x)¬Ax.