 The proposed definitions are well related with fuzzy logic.Indeed, the following theorem holds true (provided that the deduction apparatus of the considered fuzzy logic satisfies some obvious effectiveness property).Any "axiomatizable" fuzzy theory is recursively enumerable.