Nash'o aksiomos

1. $(\bar{u},\bar{v}) \ge (u^*,v^*)$,
2. $(\bar{u},\bar{v}) \in D$,
3. jei $(u,v) \in D$ ir $(u,v) \ge (\bar{u},\bar{v})$,
   tai $(u,v)= (\bar{u},\bar{v})$,
4. jei $(\bar{u},\bar{v}) \in T \subset D$ ir $(\bar{u},\bar{v}) =\phi(D,u^*,v^*)$, tai $(\bar{u},\bar{v})=\phi(T,u^*,v^*)$,
5. tegu aibe $D'$ gaunam iš $D$ taip
   $u'=a_1 u+ b_1,\ v'=a_2 v + b_2$, tada, iš $\phi(D,u^*,v^*)=(\bar{u},\bar{v})$ seks, kad $\phi(D',a_1 u+ b_1,\ a_2 v + b_2)=(a_1 u+ b,\ a_2 v + b_2)$,
6. jei $(u,v) \in D \Leftrightarrow (v,u) \in D$, $u^*=v^*$ ir $\phi(D,u^*,v^*)=(\bar{u},\bar{v})$, tai $\bar{u}=\bar{v}$.