ω-consistency