Let me mention Nash's two famous contributions to game theory:

The notion of equilibrium of non cooperative games and a proof that every game has an equilibrium.

Nash's bargaining model his axiomatic for a solution, and his solution.