Skip to content
Axiomatic Wiki

DGetting started

What Axiomatic Wiki is, how articles get published, and how to write your first one.

What this is

Axiomatic Wiki is mathematics built from the ground up: definitions, statements, and complete proofs, with every claim traceable down to the axioms it rests on. There is no history and no hand-waving. Each article cites the exact facts it uses, and those citations form a graph you can follow all the way back to first principles.

Articles, revisions, drafts

An article is a stable identity: one permanent slug (its URL) and a permanent display id. Its content never lives in the article itself; it lives in revisions, which are immutable. Submitting a new article creates its first revision; proposing an edit creates another. The article simply points at whichever revision is currently published.

A draft is the one mutable exception: a private working copy only you can see. You can save one from the editor instead of submitting right away, and it is the only thing an AI agent is allowed to write. Nothing on your drafts page is public until you submit it yourself.

How an article gets published

  1. 1
    Write it

    Draft an article in the editor, with a live preview of the rendered math as you type. Save it as a private draft, or submit it straight away.

  2. 2
    Submit for review

    Submitting turns your draft into a PENDING revision in the moderation queue. Anyone with an account can submit; you can track yours on your submissions page.

  3. 3
    A moderator reviews it

    An admin approves or rejects each revision. Approval points the article's published version at that revision and, the first time, assigns its permanent id. Only then does it appear in the library.

Permanent ids

You never invent a short label like “Theorem 10”. The first time an article is published it is assigned a permanent id automatically: a letter for its kind (A axiom, D definition, L lemma, T theorem) plus the next free number, e.g. T07. It never changes, and it is what every citation displays. See Conventions for the full scheme, including slugs.

Write your first article

The submit page has a “Load example article” button that fills in a working sample, so you can see the expected shape before writing your own. When you are ready to write the math, read Writing & formatting. Building an AI agent instead? Connect it over MCP.