Sejtés
A Wikipédiából, a szabad lexikonból.
A sejtés a matematikában olyan állítás, melyet igaznak feltételeznek, holott még senki sem adott rá bizonyítást.
[szerkesztés] Eldönthetetlen sejtések
Nem minden sejtést lehet igazolni vagy cáfolni. A kontinuum-hipotézis, mely bizonyos végtelen halmazok számossága között próbál viszonyokat felállítani eldönthetetlennek, függetlennek bizonyult az általánosan elfogadott 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. Hasonló a helyzet a geometrián belül Euklidész párhuzamossági posztulátumával. Ha az euklideszi geometriában a párhuzamossági posztulátumot ellentétes állítással helyettesítjük, megkaphatjuk az ellentmondásmentes Bolyai-Lobacsevszkij-féle (hiperbolikus) geometriát vagy a gömbi geometriát.