The more one thinks about it, less reasonable the axiom of infinity becomes. The conveniences that it provides turn out to be nice but unnecessary luxuries. The material is organized into definitions, axioms, and theorems. The material is organized into eight sections. Each section has a title which usually accurately reflects the material covered in the section.
Web pages offer unique opportunities for presenting mathematical material.
The definitions, axioms, and the statements of the theorems in each section are stated in a single web page. The theorem numbers are links to the proofs of the theorems. In the proofs of the theorems, if a definition, axiom, or previous theorem are invoked, there is a link to it. The links to previous theorems go to the proof of the theorem, but since the definitions and axioms do not have proofs, the links form them go to their statements in the main web page for the section in which they are found. At the bottom of the main web pages for each section is a link to the next section.