Simplify the following text for a Grade 6 native English-speaking person.
Original: Predicate logic is the generic term for symbolic formal systems such as first-order logic , second-order logic , many-sorted logic , and infinitary logic .
Simplified: Logic is used in mathematics .