{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-13T14:49:35Z",
    "providers": [
      "Claude"
    ],
    "breadth": "written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify",
    "pass": 2,
    "wave": 4,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-06T11:00:00Z",
      "ingestedAt": "2026-10-06T07:41:54+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "revisions": [
      {
        "at": "2026-10-06T22:38:26+00:00",
        "engine": "codex",
        "fields": [
          "definition"
        ],
        "answering_review": "009df593b83853cd6cd4b30de9f95479988b578bd5941943c8e8aa22c893f1fe"
      }
    ],
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-07T10:10:26+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q17736",
    "registryId": "vr.tr.axiom",
    "name": "axiom",
    "version": "0.2.0-wave.4",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "INF.MED"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q17736/",
  "model": {
    "registry_id": "vr.tr.axiom",
    "name": "axiom",
    "purpose": "Let an agent explain axioms and their role in logic and mathematics, relay axiom systems and their history from mathematical and philosophical sources, describe the specific axioms and assumptions the registry aliases name, and distinguish axioms from theorems, definitions, postulates in the older sense and assumptions in everyday reasoning.",
    "definition": "A statement accepted as true without proof within a theory and taken as a starting point for reasoning, whether a logical axiom valid in all interpretations of the relevant logic or a non-logical axiom specific to a theory, such as the axioms of set theory including the axiom of empty set, the axiom schema of replacement and the naive axiom schema of unrestricted comprehension that leads to Russell's paradox, or Euclid's geometric postulates; geometric entities are objects described by a theory rather than axioms, and the closed-world assumption used in logic programming and databases is a system assumption rather than a logical axiom.",
    "what_it_is_for": "Founding a formal theory.",
    "affordances": [
      "explain the concept",
      "relay axiom systems",
      "describe specific axioms",
      "distinguish related concepts"
    ],
    "distinguishing_features": [
      "Accepted without proof",
      "Starting point",
      "Logical and non-logical",
      "Consistency matters"
    ],
    "appearance": "Not a visible object; a formal statement.",
    "visual_identification": [
      "Unproven starting statement of a theory",
      "Logical axiom, axiom of empty set, axiom schema of replacement, unrestricted comprehension, closed-world assumption, Euclid s postulates",
      "Theorems are proved; definitions introduce terms; assumptions in everyday reasoning are informal"
    ],
    "physical_properties": [
      {
        "quantity": "Euclid s Elements",
        "typical_range": "about 300 BCE",
        "unit": "note",
        "note": "five postulates"
      },
      {
        "quantity": "ZFC set theory",
        "typical_range": "1908-1922",
        "unit": "note",
        "note": "Zermelo, Fraenkel, Skolem"
      },
      {
        "quantity": "Russell s paradox",
        "typical_range": "1901",
        "unit": "year",
        "note": "from unrestricted comprehension"
      }
    ],
    "families_and_kinds": [
      "logical axioms",
      "axioms of set theory such as empty set and replacement",
      "axioms of geometry and arithmetic",
      "axioms of algebraic structures",
      "assumptions in computing such as the closed-world assumption",
      "historical postulates"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "postulate",
        "why": "in registry terms"
      },
      {
        "relation": "is a kind of",
        "target": "first principle",
        "why": "in registry terms"
      },
      {
        "relation": "is contrasted with",
        "target": "theorem",
        "why": "which is proved"
      },
      {
        "relation": "is exemplified by",
        "target": "axiom of choice",
        "why": "in set theory"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "No regulation"
    ],
    "failure_modes_and_hazards": [
      "Inconsistent axiom systems such as unrestricted comprehension",
      "Confusing axioms with self-evident truths",
      "Registry aliases mixing axioms with database assumptions"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "State a theory's axioms and derive consequences from them.",
        "Flag where an axiom set is known to be inconsistent, as unrestricted comprehension is."
      ],
      "must_not": [
        "Present an axiom as a self-evident truth rather than an assumption.",
        "Reason from an inconsistent axiom set and present the conclusions as valid.",
        "Switch between axiom systems in one argument without saying so.",
        "Treat a database or system assumption as a logical axiom."
      ],
      "requires_human": [
        "Adopting a different axiom set as the basis of a published proof or a formal system."
      ]
    },
    "ethics": {
      "considerations": [
        "Unstated assumptions let flawed arguments pass as proof, in mathematics and beyond.",
        "Calling a contested assumption axiomatic can shut down legitimate debate."
      ],
      "affected_parties": [
        "Mathematicians and logicians",
        "Students",
        "Readers of formal arguments"
      ]
    },
    "owners": {
      "steward": "Nobody owns an axiom; the authors of each formal system answer for their choices.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q17736: axiom",
      "url": "https://www.wikidata.org/wiki/Q17736",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Axiom",
      "url": "https://en.wikipedia.org/wiki/Axiom",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "understand",
        "name": "Understand",
        "description": "What an axiom is.",
        "rationale": "Science.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is an axiom, and how does it differ from a theorem, definition, postulate and everyday assumption?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about logic, set theory, geometry, computing or philosophy?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "examples",
            "name": "Examples",
            "description": "Examples.",
            "findings": [
              {
                "id": "examples-finding",
                "name": "Examples",
                "description": "Examples.",
                "questions": [
                  {
                    "text": "What are the axiom of empty set, the axiom schema of replacement, unrestricted comprehension and the closed-world assumption?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits the specific axiom?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "logic",
        "name": "Logic",
        "description": "Logic and set theory.",
        "rationale": "Science.",
        "layers": [
          {
            "id": "systems",
            "name": "Systems",
            "description": "Axiom systems.",
            "findings": [
              {
                "id": "systems-finding",
                "name": "Systems",
                "description": "Systems.",
                "questions": [
                  {
                    "text": "How do ZFC, Peano arithmetic and Hilbert s geometry axiomatise their fields?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "consistency",
            "name": "Consistency",
            "description": "Consistency and independence.",
            "findings": [
              {
                "id": "consistency-finding",
                "name": "Consistency",
                "description": "Consistency.",
                "questions": [
                  {
                    "text": "What do Russell s paradox and Godel s theorems show about axiom systems?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "philosophy",
        "name": "Philosophy",
        "description": "Philosophy.",
        "rationale": "Attribution.",
        "layers": [
          {
            "id": "status",
            "name": "Status",
            "description": "Status of axioms.",
            "findings": [
              {
                "id": "status-finding",
                "name": "Status",
                "description": "Status.",
                "questions": [
                  {
                    "text": "Are axioms self-evident, conventional or justified by consequences, with positions attributed?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Is the presentation attributed?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "history",
            "name": "History",
            "description": "History.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How did the axiomatic method develop from Euclid to Hilbert?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits axiomatic system?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "context",
        "name": "Context",
        "description": "Computing and beyond.",
        "rationale": "Context.",
        "layers": [
          {
            "id": "computing",
            "name": "Computing",
            "description": "Computing.",
            "findings": [
              {
                "id": "computing-finding",
                "name": "Computing",
                "description": "Computing.",
                "questions": [
                  {
                    "text": "How are axioms and assumptions such as the closed-world assumption used in databases and logic programming?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits closed-world assumption?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "usage",
            "name": "Usage",
            "description": "Everyday usage.",
            "findings": [
              {
                "id": "usage-finding",
                "name": "Usage",
                "description": "Usage.",
                "questions": [
                  {
                    "text": "How is axiom used in ordinary language for accepted principles?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits maxim?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should the set theory axioms and the closed-world assumption be separate primary entries?",
    "How should mathematical sources be linked?",
    "The registry entry has merged aliases naming specific axioms and a computing assumption; should they be split off?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}