Bu bir Varlık ve Teklik Teoremi'dir. Bu teorem bize bazı şartlar altında, bazı şeylerin var olduğunu ve tek olduğunu söylemektedir. Ancak bu çözümün nasıl bulunacağı konusunda hiçbir ipucu vermemekte, sadece problemin bir çözümünün olduğunu haber vermektedir.
Bir varlık teoremin kıymeti, onu üzerinde biraz daha durulmaya değer yapar. Madem çözümünü nasıl bulacağımızı bize söylemiyor, o halde ne yarar var? diye sorulabilir. Bu sorunun cevabı kolaydır: varlık teoremi bize aranacak bir çözümün var olduğunu haber verir. Problemin çözümü yoksa, onu bulmak için harcanacak emek, zaman ve para yabana gidecek demektir. Teklik teoreminin faydasına gelince: daha sonra başka çözümler de bulunduğunu ve daha önce bulduğumuz çözümün bizim istediğimiz olmadığını fark ettiğimizde, bu özel çözümünü bulmak için harcadığımız emek, zaman ve para yine yabana gitmiş olacaktır.