Answer
ω-consistency is a property related to the recursiveness of the axiomatic system. Gödel's first incompleteness theorem states that if an axiomatic system is ω-consistent, then it is incomplete. This means that there are statements that can be neither proved nor disproved within the system.