折り紙公理
1点pと2本の直線l1, l2が与えられたとき、pをl1に重ね、l2に垂直な折り方がある。

羽鳥公士郎がこの公理を再発見し、ロバート・J・ラングがこれら7つの折り方で折り紙公理が完全であることを証明した。