Существования теоремы

Существования теоремы (existence theorems) (мат.), утверждения и их доказательства, содержание к-рых заключается в том, что нечто постулируемое существует в действительности. Поскольку возможно постулировать и обсуждать мат. объекты, к-рые не обязательно существуют в действительности (напр., правильные семигранники), постольку необходимы их проверки и уточнения, для чего и служат подобные теоремы. С.т. трансцендентных чисел была доказана нем. математиком Георгом Кантором (1845-1918).