En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l’on croit fortement être vraie, en l’absence de contre-exemple. Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d’autres énoncés. Si une conjecture se révèle indécidable relativement au système d’axiomes dans laquelle elle s’insère, elle peut être érigée en nouvelle axiome