Yes.
But remember one is dealing with idealized / axiomatized folding. The situation is similar with compass and straight edge geometry -- those physical lines and circles marked on paper are approximate but mathematically, in the world of axioms we assume the tools are capable of perfect constructions.