 supremum) of the truth degrees of the instances of the quantified subformula.The notions of a "decidable subset" and "recursively enumerable subset" are basic ones for classical mathematics and classical logic.Thus the question of a suitable extension of them to fuzzy set theory is a crucial one.