CONCEPT
The Axiomatic Method
The procedure invented by
Euclid in the
Elements—make your assumptions explicit, state them where they can be inspected, then derive everything else by steps any reader can check—and the deepest available contrast with a machine that reasons from axioms no one can read.
The axiomatic method is the discovery that knowledge can be
founded: reduced to a minimal set of explicit assumptions and then generated from them by deductive steps that any competent reader can verify and be compelled to accept.
Euclid deployed it in the
Elements around 300 BCE and in doing so produced the first great monument to authorless truth—knowledge that stands on its own demonstration rather than on the credibility of the one who advances it. A theorem does not ask you to trust the geometer; it asks you to follow the steps and see for yourself, and if the steps are valid you are compelled to agree whether or not you have ever heard the author's name. The contrast with
large language models is total and clarifying. A model's outputs are not derived from explicit premises by valid inference; they are predicted from patterns by statistical association. The model