Konjektur
Konjektur adalah sebuah proposisi yang dipradugakan sebagai hal yang nyata, benar, atau asli, sebagian besarnya didasarkan pada landasan yang tidak konklusif (tanpa kesimpulan). Karl Popper merintis penggunaan istilah "konjektur" di dalam filsafat ilmu. Konjektur bertentangan dengan hipotesis (oleh karenanya bertentangan pula dengan teori, aksioma, atau pun prinsip), yang merupakan pernyataan yang mengandung perjanjian menurut landasan yang dapat diterima. Di dalam matematika, konjektur adalah proposisi yang tidak terbuktikan atau tidak memerlukan bukti atau juga teorema yang dianggap pasti benar adanya.
Contoh penting
Teorema Terakhir Fermat
Dalam teori bilangan, Teorema terakhir Fermat (kadangkala disebut juga Konjektur Fermat, terutama dalam teks-teks lama) menyatakan bahwa tidak ada tiga bilangan bulat positif a, b, dan c dapat memenuhi persamaan an + bn = cn untuk sembarang bilangan bulat dengan n lebih besar dari dua.