finished stating axioms

TODO:
- finish section Predicate Logic
- state union/intersection axiom theorems
- prove axiom theorems
- state & prove consequences