Can maths prove the existence of aliens?