Voir « conjecture » sur le Wiktionnaire. Si une conjecture se révèle indécidable à partir des axiomes usuels, elle peut être choisie comme nouvel axiome (ou réfutée par un nouvel axiome). Dans la vie ...