{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\n*Absolute geometry* is the theory whose axioms are the axioms of incidence, order, congruence and continuity of [[Hilbert's axioms|KM1FB8XZ2R]], without the axiom of parallels.\nAn *absolute plane* is a model of the plane part of these axioms.\n\n## Remarks\n\nExample: the Euclidean plane $\\R^2$ is an absolute plane, since it satisfies all of Hilbert's axioms.\nThe hyperbolic plane is also an absolute plane: it satisfies all these axioms, but through a point off a line there pass several lines that miss it.\nNon-example: the sphere with great circles as lines is not an absolute plane.\nTwo antipodal points lie on infinitely many great circles, so the incidence axiom \"two points lie on exactly one line\" fails.\nWith the continuity axioms, every absolute plane is isomorphic to the Euclidean plane or to the hyperbolic plane.\nThe name \"neutral geometry\" is common in textbooks.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "VKFPCSRNDH",
    "kind": "definition",
    "msc": [
      "51F05",
      "51F10"
    ],
    "name": "Absolute geometry",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Absolute_geometry"
      }
    ],
    "tag": "13FQJX394D",
    "uses": [
      "KM1FB8XZ2R"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/13FQJX394D/",
  "links": [
    {
      "field": "defines",
      "target": "VKFPCSRNDH"
    },
    {
      "field": "uses",
      "target": "KM1FB8XZ2R"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/13FQJX394D.md",
  "msc": [
    "51F05",
    "51F10"
  ],
  "name": "Absolute geometry",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/13F/13FQJX394D.md",
  "status": null,
  "tag": "13FQJX394D",
  "uri": "m2://13FQJX394D",
  "url": "https://tamnd.github.io/math2/wiki/absolute-geometry-definition/",
  "writing": {
    "tag": "13FQJX394D",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}