omega-consistency