Jabarkan Bukti tidak membina dari Bukti matematik dalam bahasa melayu

Bukti tidak membina menetapkan yang sebuah objek matematik mesti wujud (contohnya "Beberapa X melengkapkan f(X)"), tanpa menerangkan bagaimana objek tersebut boleh ditemui. Kadang-kadang, ia sama bentuk dengan bukti menerusi percanggahan di mana ketidakwujudan sesuatu objek dibuktikan mustahil. Sebaliknya, bukti membina menetapkan yang sesuatu objek wujud dengan memberikan satu kaedah untuk mencarinya. Contoh terkenal bukti tidak membina menunjukkan terdapat dua nombor tak nisbah a dan b yang mana  adalah nombor nisbah:

Samada  adalah nombor nisbah dan kita sudah selesaikannya (take ), atau  adalah nombor tak nisbah, maka kita boleh mencatat  dan . Ini kemudian menghasilkan  yang merupakan nombor nisbah untuk