An Origami Project for Exploring the Learning of Mathematical Logic