Smn定理
smn定理 () もしくはパラメータ定理 () とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これを最初に証明したのはスティーブン・コール・クリーネである。s-m-n定理と表記されることもある。
この定理を実用的に解説すると、あるプログラミング言語と正の整数 "m" と "n" があるとき、"m"+"n" 個の自由変数を持つプログラムのソースコードを操作する特定のアルゴリズムがあることを示している。そのアルゴリズムは、与えられた "m" 個の値を最初の "m" 個の自由変数に束縛し、残りの変数を自由変数のままにしておく。