Un requisito indispensable para poder disfrutar jugando al ajedrez –o al backgammon, al go o a las damas– es interiorizar las reglas y los movimientos básicos de las piezas. Salvando las distancias, algo semejante sucede con las matemáticas, cuyas normas de base se llaman axiomas o postulados.

Ernst Zermelo (1871-1953), matemático alemán, fue uno de los creadores de la teoría axiomática de conjuntos. De las versiones del teorema, una de las más sencillas dice: en un juego finito, de información perfecta, en el que se enfrentan dos jugadores y en el que no interviene el azar, o bien un jugador tiene una estrategia ganadora o bien ambos tienen una estrategia que les permite forzar tablas... (Texto original y traducción en el interior.)