The assumption that the cardinality of each infinite set is an aleph number is equal over ZF to the existence of a well-ordering of every set, which in turn is equivalent to the axiom of choice. The plant species might be rigorously chosen based mostly on quick germination/reactivation, and extensive tolerance to temperatures to outlive the journey there. After touchdown on the Moon, the plan