Это правильно, но лишь потому, что множество марсиан пусто.
... что в данном случае и означает, что
у гипотезы
нет оснований
(у нас же не было ни одной научной предпосылки для предположения о существовании марсиан)
Т.е. условие, которое Вы сами и наложили.
Тем более, Вы можете с полной уверенностью утверждать, что множество марсиан пусто? Если вдуматься, научный метод нам не даёт способов доказать отсутствие чего-то в принципе. Так что тут уже вступает в силу конвенциональное решение научного сообщества, посчитавшее, что марсиане существуют с пренебрежимо малой вероятностью, так что можно смело говорить, что "марсиан нет" (но даже, если они когда-то найдутся, не обижаться на такой поворот событий).