With regards to Wikipedia prerequisites: while they aren't explicit, usually they are linked in the article. For the Heine-Borel theorem, I think if you understood the Wikipedia articles subset, Euclidean Space, closed space, bounded set, open cover, compact space, metric space, complete space, and totally bounded you'd be pretty much set. Of course, these articles have their own prerequisites, like set notaiton.