Text this: A new set of quantifiers for the quantifications over sets and their applications in formal mathods