Select all that apply for which predicates p is the statement ∀x p(x) true, where the domain is the positive integers?
a) Predicate logic
b) Set theory
c) Number theory
d) Boolean algebra