Anotation:
Measures on clans of fuzzy sets are traditionally studied as certain functionals on collections of [0,1]-valued functions. The goal of this paper is to make first steps towards establishing this part of fuzzy mathematics as a formal theory over a suitable predicate fuzzy logic. Two concepts of formal measure theory are sketched within Henkin-style
omega-order fuzzy logic.