Теоремы существования рассматривают условия, при соблюдении которых существует тот или иной математический объект --- производная, неопределенный интеграл, определенный интеграл или решение уравнения и.т.п. Что касается дифференциальных уравнений, то одновременно с условиями существования решения рассматриваются и условия, гарантирующие единственность найденного решения.