Quantification of the Predicate and Many-Sorted Logic