レーヴェンハイム・スコーレム定理（Löwenheim-Skolem theorem）は、モデルのサイズに関する驚くべき結果を与え...

行列の指数関数 $e^{At}$ は、連立微分方程式の解を美しく表現する道具です。スカラーの指数関数の自然な拡張であり、制御理論...

連立微分方程式は、複数の未知関数が互いに影響し合うシステムを記述します。線形代数の知識を活かすことで、行列とベクトルの言葉で統一...

コンパクト性定理（compactness theorem）は、モデル理論の基本定理の一つです。無限と有限をつなぐ橋渡しの役割を果...

充足可能性（satisfiability）は、論理式にモデルが存在するかどうかを問う概念です。モデルの存在は、論理式の「実現可能...

イデアル類群は整数環が「どれだけ PID から離れているか」を測る群であり、その位数である類数は代数的整数論の中心的な不変量です...

フロベニウスの方法は、微分方程式が正則特異点をもつ場合に使う拡張されたべき級数解法です。ベッセル関数やルジャンドル関数など、多く...

モデル理論は、論理式とそれを解釈する数学的構造（モデル）の関係を研究する分野です。構造と解釈という概念を通じて、論理式に意味を与...

べき級数解法は、解を無限級数として表す方法です。初等関数で表せない解も扱え、特殊関数の定義にも使われます。 基本的な考え方 微分...

述語論理の完全性定理は、20世紀論理学の金字塔の一つです。クルト・ゲーデルが1929年に証明したこの定理は、「証明できること」と...

等号（=）は、2つの項が同じ対象を指すことを表す特別な述語です。「2 + 2 = 4」や「明けの明星 = 宵の明星」のように、数...

素数の分岐は、整数環の構造を理解する上で重要な概念です。分岐するかどうかは判別式で判定でき、類体論とも深く関係しています。 分岐...

イデアルのノルムは、イデアルの「大きさ」を測る非負整数です。元のノルムの一般化であり、類数の計算や素イデアル分解の研究に不可欠な...

有理素数 $p$ を数体 $K$ の整数環 $\mathcal{O}_K$ で考えると、イデアル $(p)$ は素イデアルの積に...

イデアルは代数的整数論の中心概念です。元のレベルでは素因数分解の一意性が成り立たなくても、イデアルのレベルでは一意性が回復します...

デデキント整域は、素因数分解の一意性をイデアルのレベルで保証する環のクラスです。数体の整数環はすべてデデキント整域であり、代数的...

円分体は $1$ の累乗根を添加して得られる数体で、フェルマーの最終定理への応用や類体論の基礎として重要な役割を果たします。 $...

述語論理の推論規則は、命題論理の規則に加えて、量化子を扱う規則を持ちます。全称量化子と存在量化子それぞれに導入規則と除去規則があ...

ラプラス変換は、微分方程式を代数方程式に変換する強力な手法です。特に初期値問題や、不連続な入力を含む問題に威力を発揮します。 ラ...

述語論理を厳密に扱うためには、言語を形式的に定義する必要があります。どのような記号を使い、どのように式を構成するかを明確にするこ...

オイラーの微分方程式（コーシー＝オイラー方程式）は、変数係数でありながら、変数変換によって定数係数に帰着できる特殊な形の方程式で...

定数変化法（パラメータ変化法）は、任意の右辺 $R(x)$ に対して特殊解を求められる汎用的な手法です。同次解の「定数」を「関数...

二次体は最も単純な非自明な数体であり、代数的整数論の具体例として重要です。その整数環の構造を詳しく調べます。 二次体の定義 $d...

非同次方程式の特殊解を求める方法として、未定係数法があります。右辺の関数形に応じて解の形を予想し、係数を決定するというシンプルな...