Sulla Completezza della omega-regola