A matematikában sejtésnek nevezzük az olyan állítást, amely a matematikai logika eszközeivel formálisan nem bizonyított, mégis erősen valószínű.
Sejtés egzakt bizonyítása esetén tétellé lép elő, és a továbbiakban felhasználható bármely további bizonyítási eljárásban. Nem ritka az olyan matematikai kutatás, amely azt mutatja ki, hogy ha valamilyen sejtés igaz, akkor valamilyen más állítás is az, de ettől még ez az utóbbi állítás nem lesz tétel, hanem maga is megmarad a sejtés szintjén addig, amíg az eredeti sejtés bizonyítást nem nyer.
Nem minden sejtést lehet igazolni vagy cáfolni. A kontinuum-hipotézis, amely bizonyos végtelen halmazok számossága között próbál viszonyokat felállítani eldönthetetlen, mert független a halmazelmélet axiómáitól. Emiatt az axiómarendszer kiegészíthető az állítással vagy annak tagadásával is ellentmondásmentesen.
This article uses material from the Wikipedia Magyar article Sejtés, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). A lap szövege CC BY-SA 4.0 alatt érhető el, ha nincs külön jelölve. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Magyar (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.