Modelli canonici di Herbrand e modelli numerabili