The Italian term "comprovàbile" matches the English term "provably"