Logical and Algebraic Formulation of Origami Axioms