No. No es posible dar tal ejemplo. No de manera explícita, no en la generalidad implícita en la pregunta, de todos modos.
La razón es que es coherente que $\bf V=L$. En tal caso no es posible dar un contraejemplo.
Sin embargo, supongamos que $M$ es una contables modelo transitivo de ZFC+$\bf V=L$. Podemos extender $M$ forzando y agregar nuevos conjuntos. Deje $N=M[G]$ una extensión genérica de $M$, $N$ es también una contables transitiva modelo. Por lo tanto,$M=\mathbf L^M=\mathbf L^N$. Pero $N$ tiene nuevos conjuntos que no están en $M$, y por lo tanto, estos conjuntos de satisfacer la propiedad requerida.
Ahora considere la posibilidad de trabajar internamente en $N$,$N=\bf V$, e $M=\bf L$. Así que tenemos algunas conjunto genérico $G\in N\setminus M=\bf V\setminus L$. Sin embargo describir en detalles explícitos tales conjunto sería imposible por la misma razón es imposible describir un orden de $\mathbb R$ sin usar el axioma de elección. Simplemente es coherente que no hay ninguno, a menos que se suponga que este no es el caso.
Como Andrés Caicedo comentarios, hay un montón de series que no están en $\bf L$, pero su existencia nos obliga a asumir nuevas axiomas. Por ejemplo, si $\kappa$ es un cardinal medible y $\cal U$ $\kappa$- completa ultrafilter en $\kappa$,$\cal U\notin\bf L$.
También hay axiomas que cuando asumió asegurar que existen conjuntos no en $\bf L$ que no requieren de un adicional de consistencia de la fuerza. Por ejemplo, si suponemos que $CH$ falla, a continuación,$2^{\aleph_0}>\aleph_1$, y, a continuación, debemos contar con que casi todos los números reales no están en $\bf L$.