omega-consistent theory