Geometry is based on a set of givens and uses deductive logic, called "proof," to establish conclusions. The "givens" are definitions and/or postulates, and the "conclusions" are called theorems or corollaries. (A "corollary" is a result that follows directly from a "theorem" and is easy to prove. It is like a "mini-theorem.")
Some terms in geometry are classified as "undefined" or "primitive." Euclid tried to define all terms he used, but not everything can be defined without going around in circles. Today we accept certain concepts as "primitive" and do not attempt to define them. The most basic are the terms point, line, plane, and space. We use postulates to give them meaning. Some of these postulates are: