I'd start with Discrete Mathematics before Spivak. From what I remember, Spivak jumps in to constructing the reals out of set theory pretty quickly.

A discrete math text will drill you over a lot more basic proofs involving set theory that would help in understanding his construction.