Postulate 1: A line contains at least two points.
Postulate 2: A plane contains at least three non collinear points.
Postulate 3: Through any two points, there is exactly one line.
Postulate 4: Through any three noncollinear points, there is exactly one plane.
Postulate 5: If two points lie in a plane, then the line joining them lies in that plane.
Postulate 6: If two planes intersect, then their intersection is a line.
Theorem 1: If two lines intersect, then they intersect in exactly one point.
Theorem 2: If a point lies outside a line then exactly one plane contains both the line and the point.
Theorem 3: If two lines intersect, then exactly one plane contains both lines.