Mange matematiske teorem inneholder utsagn om eksistens og entydighet av løsningen til en ligning, Selv om en ikke kan finne løsningen på lukket form kan en likevel i mange tilfeller vise hva som er tilstrekkelige vilkår for at en løsning eksisterer.