Akademik
omega-consistent
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
)¬A
x
.
Philosophy dictionary
.
Academic
.
2011
.