New Approaches to Visual Reasoning in Mathematics and Kantian Characterization of Mathematics