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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

判別式は整数環の「複雑さ」を測る数値で、分岐の判定や類数の計算に使われる重要な不変量です。 定義 $K$ を次数 $n$ の数体...

特性方程式は、定数係数線形微分方程式を代数方程式に変換する魔法の道具です。2階だけでなく、任意の $n$ 階方程式にも同じアイデ...

係数が定数の2階同次線形微分方程式は、指数関数 $e^{\lambda x}$ を解として仮定することで、代数方程式（特性方程式...

2階線形微分方程式は、物理学で最も頻繁に現れる方程式の一つです。振動、波動、電気回路など、自然界の多くの現象がこの形で記述されま...

数体の元に対してノルムとトレースという2つの重要な写像が定義できます。これらは整数環の構造を調べる基本的な道具です。 定義 $K...

量化子を使う際に重要なのが、束縛変数と自由変数の区別です。変数が量化子によって「縛られている」かどうかで、論理式の意味が大きく変...

クレローの微分方程式は、$y = xy' + f(y')$ という特殊な形をもつ方程式です。一般解として直線群が得られ、さらに特...

代数的整数論では、有理数体 $\mathbb{Q}$ を拡大した体（数体）と、その中で「整数」の役割を果たす環（整数環）を研究し...

存在量化子（existential quantifier）は、「存在する」を形式化する記号です。記号 ∃ で表し、全称量化子 ∀...