Parallel postulates and their logical role

Try

Through P=(0,2), draw lines that avoid the x-axis. In the real Euclidean plane only y=2 works: any nonhorizontal line through P eventually crosses y=0. This is a uniqueness assertion about complete lines, not a statement that two short segments in a viewport fail to meet.

Playfair’s axiom says that through a point outside a line there is exactly one line disjoint from it. In an appropriate neutral axiom system, existence is already supplied by the double-perpendicular construction, so uniqueness is the additional content. The equivalence with Euclid’s original fifth postulate is a synthetic theorem; we do not substitute it without naming that dependency.

Predict

Predict whether zooming out until no crossing appears proves parallelism. A complete line extends beyond every displayed segment; finite viewing cannot settle the universal nonintersection claim.

Predict whether “zero parallels” can be obtained simply by replacing Playfair in every other neutral axiom. Great-circle geometry has zero disjoint great circles, but also changes incidence and global order. Checking only the parallel count misses the rest of the model.

Experiment

Compare the assertions, keeping the chosen meanings of point and line fixed.

Model	Complete line	Through an external point, disjoint lines
Euclidean plane	Affine real line	Exactly one
Hyperbolic plane	Complete hyperbolic geodesic	More than one
Sphere	Great circle	None, but neutral axioms also fail

The hyperbolic entry will be proved by an explicit upper-half-plane example later. For the spherical entry, two planes through the origin meet in a line, so their great circles share antipodal points. Do not read this table as a full model verification.

Understand

The Euclidean uniqueness proof is short and complete. Write the given line as n·x=c with n≠0. Since P is external, n·P≠c. The line through P with direction perpendicular to n has equation n·x=n·P, hence is disjoint from the original line.

Any other line through P has a direction v with n·v≠0. Solving n·(P+tv)=c gives t=(c−n·P)/(n·v), an actual intersection. Thus exactly one direction avoids intersection.

In neutral geometry, drop a perpendicular from P to the original line and erect its perpendicular at P. The exterior-angle theorem prevents the two lines from meeting. This construction establishes at least one disjoint line, but its proof does not exclude any additional disjoint lines. The distinction is logical, not a failure of drawing accuracy.

Apply

Repair “The sphere disproves the neutral theorem that a parallel exists.” A countermodel must satisfy every hypothesis. Antipodal spherical points lie on many great circles, violating unique joins, and great circles do not carry the required global ordered-line structure. Real elliptic geometry fixes the antipodal incidence ambiguity but still does not restore global neutral betweenness.

For optional depth, several familiar Euclidean statements are equivalent to a parallel axiom under an appropriate neutral/continuity package. Rectangle existence and triangle angle-sum assertions require careful hypotheses. We will use coordinate proofs for the real Euclidean model and explicit metric proofs for hyperbolic models instead of claiming every equivalence has been derived here.

Continue

A valid independence argument compares models of the same precisely chosen axioms. One must verify all of those axioms in both models before using their opposite parallel behavior. Continue to the Euclidean coordinate model to make the positive Euclidean side of that comparison concrete.