Астрономічні назви, в тому числі назви планет, не узгоджуються з родовими назвами, тобто при родовій назві в будь-якому відмінку видова стоїть завжди в називному (на планеті Венера, до планети Юпітер і т. ін.). Тому речення, про яке йдеться, повинне мати такий вигляд: «Ми слухали лекцію на тему «Чи є життя на планеті Марс?» або «Чи є життя на Марсі?» (без згадування родової назви).