Describir: Relaciones metalogicas entre compacidad y completud : una prueba semantica de completud en logica clasica