In his commentary on Euclid, Proclus says both that the first principle of geometry are self-evident and that they are hypotheses received from the single, highest, unhypothetical science, which is probably dialectic. The implication of this seems to be that a geometer both does and does not know geometrical truths. This dilemma only exists if we assume that Proclus follows Aristotle in his understanding of these terms. This paper shows that this is not the case, and explains what Proclus himself (...) means by definition, hypothesis, axiom, postulate, and the self-evident, and how geometry is a science that receives its principles from dialectic. (shrink)