Yet Another Axiomatisation of 1-Fold-Origami
摘要
In this paper we define 1-fold-origami via the basic foldings, better known as Justin-Huzita-axioms, in a somewhat rigourous way.