策梅洛定理（Zermelo’s theorem）：在二人有限博弈中，如果双方都拥有完全信息，并且运气因素不影响博弈，那么先行或后行的一方必有必胜/必不败的策略。
Impartial Combinatorial Games，双方共用状态的博弈。
一些典型的 ICG 博弈有 Nim, Sprouts, Kayles, Quarto, Cram, Chomp, and poset.