Gry nieskończone

Gra nieskończona – wyimaginowany proces, w którym dwie osoby podejmują szereg (zwykle naprzemiennych) wyborów ponumerowanych elementami pewnej nieskończonej liczby porządkowej. Po zakończeniu procesu pewne zadane z góry kryterium używane jest do rozstrzygnięcia, który z graczy odniósł zwycięstwo. Język gier nieskończonych jest używany w szeregu dziedzin matematyki głównie dla opisu własności studiowanych obiektów. Większość zastosowań gier tego typu występuje w teorii mnogości i topologii.