The other thing we need to check is the axiom of substitution seeSection A. If X isa finite set, we use X to denote the cardinality of X. For inductive purposes, it turns out to be convenient to work with the following version of the conjecture which, up to -dependent constants, is actually equivalent to the above theorem :. Wewill be concerned with questions such as the following:. It also is technically convenient to work with independent variables, rather than just a pair of variables as we did in the case; this is perhaps the biggest additional technical complication needed to handle higher characteristics.
nest...