Artifact · open
Fermat's Last Theorem
This page records one proposition and the evidence attached to it. Text from the source ledger is shown as record data.
- Identifier
- F:fermat-last-theorem
- Proof route
- Not assigned
- External status
- proved
- Axiom footprint
- Empty
Recorded description
For every integer n greater than 2, there are no positive integers a, b, c with a^n + b^n = c^n.
(forall ((n Int) (a Int) (b Int) (c Int)) (=> (and (> n 2) (> a 0) (> b 0) (> c 0)) (not (= (+ (pow a n) (pow b n)) (pow c n)))))Dependencies
The graph shows direct ledger edges. Follow a node to open its artifact page.
0 direct dependencies 0 direct dependents
Evidence
Provenance
{
"date": "2026-08-14",
"established_by": "not established by axeyum",
"source": "written to exercise external_status; the `facts-number` extraction lane reached this concept and correctly refused to record it, because before external_status every available status would have been false",
"prior_art": [
{
"who": "Andrew Wiles",
"what": "Modular elliptic curves and Fermat's Last Theorem",
"where": "Annals of Mathematics 141 (3): 443-551",
"year": 1995,
"notes": "With Richard Taylor, 'Ring-theoretic properties of certain Hecke algebras', Annals of Mathematics 141 (3): 553-572, which repairs the gap in the original 1993 announcement."
}
]
}