Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The HuzitaHatori axioms or HuzitaJustin axioms are a set of rules related to the mathematical principles of paper folding, describing the operations that can be made when folding a piece of paper. The axioms assume that the operations are completed on a plane (i.e. a perfect piece of paper), and that all folds are linear. The axioms were first discovered by Jacques Justin in 1989. Axioms 1 through 6 were rediscovered by Italian-Japanese mathematician Humiaki Huzita and reported at the First International Conference on Origami in Education and Therapy in 1991. Axiom 7 was rediscovered by Koshiro Hatori in 2001, and Jacques Justin and Robert J. Lang also found axiom 7.