Any formula that does not mention sethood, has only sets as parameters, and is true only of sets, de...