[adjectif] Qui peut être démontré. Exemple: `En sortant de la méta-arithmétique pour nous ramener à des termes courants, cette proposition signifie que la formule portant le nombre de Gödel z n’est pas `démontrable`.`
Qui peut être justifié par une preuve. Traduction anglais : demonstrable