2. Predicate functions

Before you can define statements like All positive integers are greater than ::0:: in logic, you need a construct to define statements for unknown entities.