Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine