Generally, a definite article before a proper name in German is colloquial. However astronomical names always take an article. So Frege is just writing correct German. Robert >Note that Frege says 'die Venus' rather than 'Venus'. Is this standard >practice in German, or is Frege's German idiosyncratic?