A nonconstructive proof establishes that a mathematical object with a certain property exists without explaining how such an object can be found. Often, this takes the form of a proof by contradiction in which the nonexistence of the object is proved to be impossible. In contrast, a constructive proof establishes that a particular object exists by providing a method of finding it. A famous example of a
nonconstructive proof shows that there exist two irrational numbers "a" and "b" such that formula_15 is a rational number:

Nonconstructive proof
সম্পর্কিত বিষয়সমূহ
Statistical proof using data
গঠন দ্বারা প্রমাণ