Neutral Geometry¶

An axiomatic geometry retaining incidence, betweenness, and congruence while withholding any parallel postulate, so its theorems survive in both Euclidean and hyperbolic extensions.

Version: v1 · 2026-09-28 · History
Domain-specific #: 10973
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Geometry Foundations → Mathematics
Aliases: Absolute geometry

Core Idea¶

Neutral, or absolute, geometry studies what follows from geometric incidence, order, and congruence before a parallel postulate is chosen. It contains theorems shared by Euclidean and hyperbolic geometry, but does not decide whether a point off a line has exactly one or more than one nonintersecting line through it.

The historic shorthand of Euclid's first four postulates is not a complete modern axiom system by itself. Hilbert-style incidence, betweenness, and congruence axioms give a more precise basis. A neutral theorem must survive both of the major parallel extensions, not merely look familiar in a Euclidean drawing.

Structural Signature¶

Sig role-phrases:

Incidence and betweenness — Supply points, lines, and ordered relations shared by the relevant geometries. It is constitutive. Counterfactual: Without these foundations there is no common neutral plane theory.
Congruence and angle structure — Supports length and angle comparisons needed for neutral theorems. It is constitutive. Counterfactual: Order-only geometry cannot state the same congruence and exterior-angle results.
Parallel-postulate neutrality — Withholds both Euclid's uniqueness axiom and competing alternatives. It is constitutive. Counterfactual: Choosing one parallel axiom makes a stronger Euclidean or hyperbolic theory.
Shared theorem consequence — Includes only conclusions derivable before the parallel choice. It is diagnostic. Counterfactual: A theorem true only after one parallel axiom is not neutral geometry's theorem.
Compatible model extensions — Uses Euclidean and hyperbolic models as witnesses to the remaining underdetermination. It is boundary. Counterfactual: A proposed neutral theorem false in one valid extension was not proved from neutral axioms alone.

What It Is Not¶

Not Euclidean geometry with a hidden fifth postulate. Uniqueness of parallels is not assumed.
Not hyperbolic geometry. The alternative parallel behavior is not assumed either.
Not order-only geometry. Congruence and angle comparisons are part of neutral geometry.
Not spherical geometry. Its line-order and betweenness assumptions differ.
Closest near-miss. The existence of at least one parallel through a point can be neutral while uniqueness is not; confusing those quantifiers collapses the distinction.

Scope of Application¶

Geometric foundations. Separates shared axioms from disputed parallel assumptions.
Theorem auditing. Checks whether a proof uses a parallel postulate covertly.
Model comparison. Contrasts Euclidean and hyperbolic extensions of the same core.
Historical axiomatics. Distinguishes Euclid's shorthand from adequate modern formalizations.

Clarity¶

State the exact incidence, order, and congruence axioms and explicitly leave the parallel postulate open. Include only results derivable before that choice. At least one parallel through an off-line point is compatible with the neutral theory, but unique parallel is Euclidean-specific. A Euclidean picture is not proof, and spherical geometry lacks the same betweenness foundation.

Manages Complexity¶

The neutral core compresses many separate geometric arguments into theorems guaranteed across two extensions. It also exposes exactly where extra axioms enter; instead of silently importing a Euclidean diagram, one can label the parallel-dependent step.

Abstract Reasoning¶

Specify an adequate incidence, betweenness, and congruence basis.
Withhold Euclidean and hyperbolic parallel alternatives.
Derive a proposed theorem using only the common axioms.
Test the claim against both model families as a check for hidden dependence.
Classify any parallel-specific conclusion in its stronger extension instead.

Knowledge Transfer¶

The theorem package transfers literally from neutral axiomatics into Euclidean and hyperbolic models because each satisfies the common premises. It does not transfer to spherical geometry, which lacks the relevant ordered-line structure, or to every geometry merely sharing the word parallel.

Examples¶

Canonical¶

The source's perpendicular construction establishes at least one line through an off-line point that does not meet the given line without appealing to Euclid's parallel postulate. It does not prove that the line is unique, leaving hyperbolic alternatives open.

Mapped back: Incidence and betweenness → point off a given line; Congruence and angle structure → perpendicular and alternate-interior-angle facts; Parallel-postulate neutrality → no uniqueness assumption; Shared theorem consequence → existence of one nonintersecting line; Compatible model extensions → Euclidean and hyperbolic settings both retain existence.

Applied / In Practice¶

Euclidean and hyperbolic planes satisfy the shared neutral axioms but differ over parallel uniqueness. A result that picks one of those answers cannot be derived within the shared axioms alone.

Mapped back: Incidence and betweenness → common ordered plane structure; Congruence and angle structure → common comparison axioms; Parallel-postulate neutrality → parallel choice withheld; Shared theorem consequence → only shared consequences qualify; Compatible model extensions → two extensions with different parallel behavior.

Structural Tensions¶

T1 — Shared Geometric Content versus Undecided Parallels. Withholding one axiom exposes substantial common theorems while deliberately leaving a major line relation unresolved.

Diagnostic: Does the claimed result require a particular parallel behavior?

T2 — Historical Four Postulates versus Modern Axiom Sufficiency. Traditional descriptions invoke Euclid's first four postulates, but a rigorous foundation needs additional incidence, order, and congruence conditions.

Diagnostic: Which complete axiom system supports the proof actually being claimed?

Structural–Framed Character¶

The approved DAG parent is Ordered Geometry: neutral geometry retains point incidence and betweenness, adds congruence, and withholds a parallel axiom. Its theorems hold in suitable Euclidean and hyperbolic extensions, not every geometry.

Evaluative weight: “Neutral” marks axiomatic noncommitment, not superiority. Human-practice-bound: Low formally, though axiom selection is deliberate. Institutional origin: Geometric tradition names the system; theorem validity follows deduction. Vocabulary travels: Withholding a disputed axiom is a broad reasoning move, but spherical geometry need not satisfy the ordered-line premises. Import versus recognize: Recognize the theory by incidence, order, congruence, and absent parallel choice; calling any undecided model neutral geometry imports a mathematical carrier.

Its character: A formal geometry subtype with a portable common-premise strategy and exact axiom boundary.

Structural Core vs. Domain Accent¶

Skeletal core. Withhold one independent choice to expose consequences shared by incompatible extensions.

Domain-bound accent. Incidence, betweenness, congruence, and the undecided parallel postulate define neutral geometry's theorem package.

Why not prime. The common-premise strategy travels, but the named geometry requires these particular axioms and models.

This entry is a kind of Ordered geometry.

Strict parent — Ordered geometry. Neutral geometry retains points and betweenness and adds congruence while still not deciding parallels; the source explicitly calls absolute geometry an extension of ordered geometry.
Related — Euclidean and hyperbolic geometry. They are incompatible stronger parallel extensions sharing the neutral core.

Relationships to Other Abstractions¶

Current abstraction Neutral Geometry Domain-specific

Parents (1) — more general patterns this builds on

Neutral Geometry is a kind of Ordered geometry Domain-specific

Neutral geometry preserves ordered-geometry betweenness and adds congruence while withholding a parallel axiom.

Hierarchy paths (2) — routes to 2 parentless roots

Neutral Geometry → Ordered geometry → Theory → Formalization → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space¶

Neutral Geometry sits in a moderately populated region (56^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

Hypercycle (Geometry) — 0.86
Digon — 0.86
Ordered geometry — 0.85
Macbeath Region — 0.85
Selberg zeta function — 0.84

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Euclidean geometry. Tell: Has uniqueness of the parallel line already been assumed?
Hyperbolic geometry. Tell: Has the multiple-parallel alternative already been adopted?
Ordered geometry. Tell: Are congruence and angle comparisons available?
Spherical geometry. Tell: Does the model satisfy the same line-betweenness axioms?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Absolute_geometry (revision 1336999360).
Preserved source candidate: https://books.google.com/books?id=nbV_EAAAQBAJ&pg=PA11
Preserved source candidate: https://archive.org/details/geometryintroduc0000ewal/page/52
Preserved source candidate: https://web.archive.org/web/20090926011519/http://ca.geocities.com/cocklebio/synsptm.html
Preserved source candidate: https://www.maa.org/sites/default/files/images/upload_library/22/Ford/Greenberg2011.pdf
Preserved source candidate: https://web.archive.org/web/20230327103643/https://www.maa.org/sites/default/files/images/upload_library/22/Ford/Greenberg2011.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.