Q:

Universal Bundle --- Understand the basic definition

I read two versions of discussions on universal bundles. I could not really see how the two definitions are really the same.

From Wiki. The universal bundle in the theory of fiber bundles with structure group a given topological group G, is a specific bundle over a classifying space BG, such that every bundle with the given structure group G over M is a pullback by means of a continuous map M $\to$ BG.
From ncatlab For G a topological group there is a notion of G-principal bundles P→X over any topological space X. Under continuous maps f:X→Y there is a notion of pullback of principal bundles f∗:GBund(Y)→GBund(X).
  A universal G-principal bundle is a G-principal bundle, which is usually written EG→BG, such that for every CW-complex X the map
  [X,BG]→GBund(X)/∼
  from homotopy classes of continuous functions X→BG given by [f]↦f∗EG, is an isomorphism.
  In this case one calls BG a classifying space for G-principal bundles.
  The universal principal bundle is characterized, up to equivalence, by its total space EG being contractible.

Can one explain how the twos are the same? How do we intuitively define Universal Bundle?

A:

The first statement is a bit weaker than the second, since it tells you that for a $G$-bundle $p:E \to B$, there exists a "universal bundle" $\pi:EG \to BG$, where you can find a map $f:B \to BG$ so that the pullback $f^*(BG) \to B$ is "exactly" the bundle $p:E  \to B$.
The second statement is telling a a little bit more. For example, it says first of all that the pullback $f^*(BG)$ only depends on the homotopy class of $f:B  \to BG$.
On the same token, when I said "exactly" above, what I really meant was "up to bundle isomorphism." In other words, for a base space $B$, we can consider $\mathrm{Gbund}(B)$ which is the space of all possible $G$ bundles with base space $B$.
The claim is that using the homotopy class of the map $f:B \to BG$, we can find each element in $\mathrm{Gbund}(B)/\sim$, where bundles are identified up to isomorphism.
A fancier way to say this:
Consider the space of maps from $B$ to $BG$ identified up to homotopy. We denote this $[B,BG]$ 
Consider also the space of vector bundles over  $B$ identified up to isomorphism. We denote t his $\mathrm{Gbund}/\sim$.
Then the assignment of a homotopy class $[f]$ to its pullback $f^*(BG)$, is really  well defined  map $[B,BG] \to \mathrm{Gbund}/\sim$ given by $[f] \mapsto f^*(BG)$.
The claim in the first paragraph is that this map is surjective (for every bundle over $B$, it can be realized as a pullback)
The second paragraph also claims that this is injective, says that the map $[f]$ up to homotopy is essentially unique.

I've really just written everything up into smaller chunks, but I hope that it helps.

