The question is in the title. How would you formalize the statement :"all generalizations are false, except this one"? in predicate calculus?