I have explained this more on the page here: http://www.euclideanspace.com/maths/standards/program/axiomsInAxiom/
Log in to post a comment.