存在定理

3行要約

1. ある条件を満たす数学的対象が、少なくとも一つ存在することを証明する定理。
2. 対象を具体的に構成する方法を示さなくても、存在すること自体を論理的に保証する。
3. 中間値の定理や代数学の基本定理などがその代表例であり、理論の出発点となる。