finished, organized, axioms

TODO:
- uniqueness of axioms
- consequences of axioms
- move ordered pairs, relations, functions, etc to a new chapter