No, they are just implied to be. There is an infinty of facts implied by the definition of “2” but they are not in the definiion, which is finite.
No, they are just implied to be. There is an infinty of facts implied by the definition of “2” but they are not in the definiion, which is finite.