存在定理

存在定理（そんざいていり。英: existence theorem^[1]または英: theorem of existence^[2]）とは、何らかの数学的対象の存在をいう定理の総称。定理の内容や証明において、対象の具体的な構成方法は必ずしも示されない。