On Padoa’s Method in the Theory of Definition