 … we very soon come to propositions which cannot be proved so long as we do not succeed in analysing concepts which occur in them into simpler concepts or in reducing them to something of greater generality. (Frege 1884: §4)