このような立場に立てば、「点」、「直線」、「平面」といった言葉の選択はまったく任意なものであり、別の用語を選んだとしてもそれらの間にユークリッド幾何学の関係性を仮定するならばまったくおなじ体系が得られることになる。公理の直観的・歴史的な妥当性.公理系は記号で書かれた論理式の集まりなので、理屈の上では現実世界の観察に基づかない非現実的な公理系のもとに全く無意味な数学理論の体系を構築しても良いことになるが、多くの数学者は現実世界の観察に基づかない非現実的な公理系ではなく、現実世界の観察に基づく公理系を研究の対象にしている。同様に妥当性が問題になるタイプの公理に集合論の選択公理など無限を取り扱ったものがある。これは「無限個の(空でない)集合の列から一個ずつ元を選ぶことができる」という趣旨の公理である。選択公理は(集合論のそれ以外の公理が矛盾していない限り)矛盾を導かず(ゲーデル)、さらに選択公理の否定からも矛盾が導かれない(コーヘン)ことが知られている。微分方程式解析学において、とは、未知関数とその導関数の関係式として書かれている関数方程式である。物理法則を記述する基礎方程式は、多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等は元々、微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である。微分方程式は大きく線型微分方程式と非線型微分方程式に分類される。線形微分方程式の例として、例えばシュレーディンガー方程式が挙げられる。シュレーディンガー方程式は、量子系の状態の時間発展を記述する方法の一つとして広く用いられている。非線型微分方程式の例として、例えばナビエ–ストークス方程式(NS方程式)が挙げられる。NS方程式は流体の運動を記述する基本方程式であり、物理学の応用としても重要な方程式である。しかし、NS方程式の解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。概要.微分方程式は方程式に含まれる導関数の階数によって分類され、最も高い階数が次である場合、その微分方程式を階微分方程式と呼ぶ。