Ω-consistency