Available under Creative Commons-ShareAlike 4.0 International License. Definitions Axioms Propositions Appendix ‹ previous up next › 1724 reads