More modern proofs have been motivated by the following considerations: the approach to compactness via convergence of subsequences leads to a simple and transparent proof in the case of countable index sets.
5) A proof using nets but not universal nets was given in 1992 by Paul Chernoff.