Huzita-Hatori Axioms

The Huzita-Hatori Axioms define the fundamental rules for origami, the art of paper folding, in a precise mathematical way. They specify the basic operations, like folding one point onto another or aligning creases with certain points or lines, that can be used to create complex shapes and solve geometric problems. Essentially, these axioms form the foundational "grammar" for origami constructions, ensuring that any fold described by them follows consistent, logical steps, enabling mathematicians and artists to explore and formalize the capabilities of paper folding as a geometric tool.