- added textual explanation to the axioms
- minor fixes of font and lexics
added more reasoning and proof