A generalization of Poincaré's theorem for recurrence systems