idem, mieux vaut dire démontrable, pour les mêmes raisons (de plus on dit aussi "vrai" pour "vrai dans un modèle particulier", modèle standard de l'arithmétique par ex.), et c'est relativement à un ensemble r.e. (la réunion cidessus) donc un peu compliqué, et dont le sens n'est pas limpide (il faut imaginer que l'on puisse savoir qu'un énoncé est décidable, mais sans l'avoir décidé). Pourquoi ne pas se contenter de "rec. axiomatisable + complet => décidable", plus facile à comprendre, et qui a plus de sens à mon avis ?