Ich würde dir zustimmen, wenn der Name eindeutig wäre. Aber wir brauchen sowieso einen Klammerzusatz, um den Zwergplaneten von anderen Bedeutungen des Worts "Ceres" zu unterscheiden. Da ist die vollständige Bezeichnung "(1) Ceres" besser als ein "Ceres (Astronomie)". -- Digamma 12:55, 9. Mai 2020 (CEST)