Compattezza, categoricita', paradosso di Skolem