 In transferring this formulation into a formal definition, we have to bear in mind again that ‘each’ and ‘every’ has existential import also in Bolzano’s meta-language. The formal definition has therefore to be stated as follows: