Teorema di compattezza per la logica L_{infty,infty}