スプレイグ・グランディの定理

スプレイグ・グランディの定理（）とは、組合せゲーム理論において、通常のプレイ規約下におけるすべての公平ゲームはと等価であることを意味する定理である。このとき、公平ゲームにおけるグランディ値やニム値はゲームと等価なユニークな数として定義される。位置（もしくは位置の加数）に自然数（例えばニムのようなゲームにおいて考えられるヒープのサイズ）によって添字が付けられているゲームの場合、連続したヒープサイズに対するニム数の列はゲームのニム列と呼ばれる。

この理論は (1935) と (1939) により別々に発見された。