A nonconstructive proof establishes that a mathematical object with a certain property exists without explaining how such an object can be found.
Unha proba non construtiva establece que un obxecto matemático cunha certa propiedade existe sen explicar como pode ser achado tal obxecto.