Karl Popper a été le pionnier de l'utilisation du terme "conjecture" dans la philosophie scientifique.
Il a été démontré qu'il est indécidable -LRB- ou indépendant -RRB- de l'ensemble généralement accepté d'axiomes de la théorie des ensembles.