これ を ゲンツェン の Hauptsatz （ 主 定理 ） と も 呼ぶ 。

ラムゼー の 定理 （ ラムゼー の てい り ） と は 、 次 の 二つ の 定理 で ある ( フランク・ラムゼイ , 1930 )。

有限 ラムゼー の 定理 は 無限 ラムゼー の 定理 から 従う 。

つまり 、 ラムゼー の 定理 は 鳩 の 巣 原理 の 一般 化 と いえる 。

この 結果 が ラムゼー の 定理 として 言及 さ れる こと も 多い 。

ラムゼー の 定理 に 類似 し た 定理 として 、 ファン・デル・ヴェルデン の 定理 など 多く の 種類 の 定理 が 知ら れ て いる 。

最近 に なっ て 、 これら の 一般 化 で ある Hales - Jewett の 定理 が 発見 さ れ 、 これ により 、 一連 の 類似 し た 定理 は 一つ の 理論 として 確立 し た 。

東京 湾 上 は 年間 を通じて 風向き は 南北 方向 で ある こと が ほとんど で 、 2 本 の 塔 の 間 を 風 が 抜ける こと で ベルヌーイ の 定理 により 効率 的 な 換気 が できる 。

Bar - Hillel の 補題 や 、 uvwxy 定理 と も 呼ば れる 。

あらゆる 問題 について 最高 の 性能 を 示す 分類 器 は 存在 し ない （ ノー フリー ランチ 定理 と 同様 の 現象 で ある ） 。

バロー の 業績 は 積分 と 微分 が お互い に 逆 操作 で ある （ 微分 積分 学 の 基本 定理 ） こと を 幾何 学 的 な 方法 で 証明 し た こと 、 また メルカトル 図法 における 赤道 から 任意 緯線 まで の 距離 算出 に 必要 と なる 、 正 割 関数 の 積分 （ 今日 で いう ところ の グーデルマン 関数 の 逆 関数 ） を 初めて 閉じ た 式 で 表現 し た こと など が ある 。

非 決定 性 時間 階層 定理 に よれ ば 、 漸近 的 により 多く の 時間 を かけれ ば 、 非 決定 性 機械 で より 多く の 問題 を 解く こと が できる と さ れ て いる 。

DTIME は 時間 階層 定理 に 従う 。

中心 極限 定理 に よる と 、 非 ガウス 性 （ Non - Gaussianity ） は 成分 の 独立 性 を 測る 手法 の 1 つ で ある 。

情報 量 が H で ある 確率 変数 X は 平均 ビット 数 が （ ほぼ ） H で ある ビット列 に 符号 化 できる ( ハフマン 符号 ) が 、 平均 ビット 数 が H 未満 で ある よう に は 符号 化 でき ない ( 情報 源 符号 化 定理 ) 事 が 知ら れ て いる 。

1940 年代 に 経済 学者 の E ・ D ・ ドーマー によって 提唱 さ れ た 定理 。

名目 経済 成長 率 が 名目 公債 利子 率 を 上回れ ば 財政 赤字 は 維持 可能 で ある という 内容 の 定理 で ある 。

ただし 例外 として 量子 脳 理論 が 正しい 場合 に は クローン 不可能 定理 が ある ため 移動 のみ が 可能 で あり コピー は 不可能 と なる 。

ユーリ ・ マチャセビッチ は 1970 年 に 、 ディオファントス 方程式 の 任意 の 系 （ 整数 を 係数 と する 多項式 ） が 整数 において 解 を もつ か を 決定 する 一般 的 な アルゴリズム が ある の か どう か という 問題 に 答える ため 、 フィボナッチ 数 を 用い た 定理 を 案出 し た 。

ところで パトナム と マーティン・ディヴィス 、 また 彼ら と は 別に ジュリア ・ ロビンソン は 、 マチャセビッチ の 定理 が この よう な 一般 アルゴリズム が 存在 し 得 ない こと を 証明 する に 十分 で ある こと を すでに 証明 し て い た 。