Su declaración dice que la Tierra es un planeta y, si no es un matemático que habita en algún planeta, entonces se dice que el matemático habita en la Tierra.
Esto es muy cerca de lo que usted quiere decir, pero no acaba de llegar por su propia cuenta. Después de todo, no descarta la posibilidad de que uno puede habitar múltiples planetas.
En su lugar, debemos decir que si hay un planeta habitado por los matemáticos, entonces se dice que el planeta es la Tierra. Por eso, le en lugar de tener $$\forall y\Bigl(\Bigl(\exists x\bigl(M(x)\wedge I(x,y)\bigr)\Bigr)\longrightarrow y=e\Bigl).$$
Nota que esto no es afirmar que la Tierra es un planeta, ni que hay matemáticos en cualquier sitio. Más bien, se afirma (a partir de un conjunto teórico punto de vista) que, si hay un elemento en el conjunto de planetas habitados por al menos un matemático, entonces ese elemento es la Tierra. Dicho de manera más simple, $y$ es un planeta habitado por los matemáticos sólo si $y$ es Tierra.
Hay algún desafortunado ambigüedad en el idioma inglés, así que puede ser que el hablante pretende decir que la Tierra es un planeta habitado por los matemáticos, y es el único planeta. Sin embargo, esa no es realmente claro de su fraseo.
