En rekke matematiske teorem gir vilkår for at en entydig løsning eksisterer, selv om løsningens form ikke er kjent. Slike teorem kalles eksistens- og entydighetsteorem.