Launchpad or Purpose of the Research? : Plato and Aristotle on Truth in Geometric Proof