There are two main postulates describing the nature of planes:

1) Through any three non-collinear points, there is exactly one plane.

2) If two points lie on a plane, the entire line containing those two points also lies on that plane.

Using these, I can show that if two planes intersect, their intersection is either a point, or a line. Suppose that the intersection of two planes contained a set of three non-collinear points. Then, since these three points are common to both planes, through these three points there are two planes, contradicting the first postulate. Thus, any pair of three points on the intersection of two planes are collinear and thus all the points are collinear.

If all the points in the intersection of two planes are collinear, the points are either a line, a ray, line segment, or a set line segments and points, etc. If the intersection is at least two points, the intersection must be a line. This is because if two points lie on the plane, the entire line containing those points also lies on that plane, so the entire line must be common to both planes, and the intersection must be a line.

Now, the intersection of two planes must then be either a line, or a single point, as was demonstrated. In three dimensions, it is impossible for the intersection of two planes to be exactly one point. In higher dimensions, it is actually possible. The question is, how can you prove that two planes that lie in the same three-dimensional space cannot intersect at just one point?

I've been working on this for a while and could not figure it out. Any help would be greatly appreciated. If it is possible to show this using the following axioms about solids (three-dimensional "planes"), I would also like that.

1) Through any four non-coplanar points there is exactly one solid.

2) If three non-collinear points lie in a solid, the entire plane containing those three points also lies in that solid.