The following discussion is the first in a series of primers for upcoming essays, and, unfortunately, likely to be the most tedious text on this site so far. Hopefully, an indication that, if an axiom is not at least slightly difficult to pin down, the entire ensuing theory is probably trivial and of little use to write about, but also hopefully the most complicated part of the entire line of reasoning.