Why making an axiom list for origami can be tricky.See, for example, Auckly and Cleveland's article "Totally Real Origami and Impossible Paper Folding" in The American Mathematical Monthly, Vol. 102, No. 3, March 1995, pp. 215-226. In this article the authors use an axiom list for paper folding that is weaker than Huzita's (it doesn't include axioms O5 and O6), and thus prove that origami is weaker than SE&C constructions. Their work is correct, but only because their origami axiom list is weak.Back to Origami Geometric Constructions |