La demostración probabilística, como la demostración por construcción, es una de las muchas formas de demostrar teoremas de existencia.