The claim that there are simple ideas which cannot be defined, and primary principles which cannot be proved, is here advanced as an axiom. Leibniz here supposes that the substitution of terms in conceptual analysis (that is, replacing one term by its definition) is not a process that can go on indefinitely, in which case it must reach ‘simple ideas’, that is, primary concepts that admit of no further analysis.
