Una demostración no constructiva establece que un objeto matemático con una cierta propiedad existe sin explicar como tal objeto se puede encontrar.