1. Qui peut, ou est destiné à, être colorié.Cela s'est produit pour le théorème des quatre couleurs (« toute carte est coloriable avec quatre couleurs sans que deux pays voisins portent la même couleur »), dont d'ailleurs aujourd'hui on ne connaît que des preuves utilisant l'ordinateur.