I first learnt from Munkres' Topology. He gave a different motivation to use the maximal principle (Hausdorff's to be precise, but Zorn's work too) instead of the historic motivation to characterize compact spaces with a generalized version of "sequence"; i.e. filters.

What was Tychonoff's original proof? To me every proof seem to use some maximal principle; Alexander's subbase theorem also uses Zorn's lemma.