Omega-consistency