Skip to content
Wellsprings
greek-mathematicsfeatured in 30 works

The Axiomatic-Deductive Method

Start from a tiny list of agreed-upon truths, smuggle in nothing else, and prove an entire science from there.

The axiomatic-deductive method starts with a handful of building blocks: explicit definitions, a few unproved postulates, and self-evident 'common notions.' From these alone, every later theorem follows by strict logical proof, with nothing slipped in along the way. Euclid of Alexandria (c. 300 BCE) gave the method its classic form in the Elements, drawing on earlier Greek geometry and on Aristotle's account of demonstrative science. It went on to become the template for rigorous reasoning far beyond mathematics: Spinoza, Newton, and modern logic all echo its 'from first principles' design.

How it traveled

  1. Fragmenta
    Alexandria · -300
    explains
  2. Data
    Alexandria · -265
    explains
  3. Optica
    Alexandria · -265
    explains
  4. Data (demonstrationes alterae)
    Alexandria · -265
    explains
  5. Catoptrica (recensio Theonis?)
    Alexandria · -265
    explains
  6. Phaenomena
    Alexandria · -265
    explains
  7. Sectio canonis [Sp.]
    Alexandria · -265
    explains
  8. Phaenomena (demonstrationes alterae recensionis b)
    Alexandria · -265
    explains
  9. Liber assumptorum
    Syracuse (Sicily) · -240
    explains
  10. De sphaera et cylindro
    Syracuse (Sicily) · -212
    explains
  11. De conoidibus et sphaeroidibus
    Syracuse (Sicily) · -212
    explains
  12. De lineis spiralibus
    Syracuse (Sicily) · -212
    explains
  13. Quadratura parabolae
    Syracuse (Sicily) · -212
    explains
  14. De planorum aequilibriis
    Syracuse (Sicily) · -212
    explains
  15. Ad Eratosthenem methodus
    Syracuse (Sicily) · -212
    explains
  16. De corporibus fluitantibus
    Syracuse (Sicily) · -212
    explains
  17. Dimensio circuli
    Syracuse (Sicily) · -212
    explains
  18. Opticorum recensio Theonis
    Alexandria · 370
    explains
  19. Synagoge
    Alexandria
    explains
  20. Metrica
    Alexandria
    explains
  21. Scholia in Euclidis Data
    explains
  22. Syntaxis mathematica
    Alexandria
    explains
  23. Commentarii in libros de sphaera et cylindro
    Alexandria
    explains
  24. Conica
    Perga
    explains
  25. Scholia in opticorum recensionem Theonis (scholia vetera)
    explains
  26. Dioptra
    Alexandria
    explains
  27. De magnitudinibus et distantiis solis et lunae
    Samos
    explains
  28. Scholia in Euclidis phaenomena
    explains
  29. Scholia in Euclidis optica (scholia vetera)
    explains
  30. Commentarius in dimensionem circuli
    Alexandria
    explains

Key passages(20)

Very high

De conoidibus et sphaeroidibus · Archimedes

Very high

De sphaera et cylindro · Archimedes

Very high

De sphaera et cylindro · Archimedes

Very high

De sphaera et cylindro · Archimedes

Very high

De sphaera et cylindro · Archimedes

Very high

De sphaera et cylindro · Archimedes

Very high

Liber assumptorum · Archimedes

Very high

Liber assumptorum · Archimedes

Very high

De magnitudinibus et distantiis solis et lunae · Aristarchus of Samos

Very high

Catoptrica (recensio Theonis?) · Pseudo-Euclid

Very high

Data (demonstrationes alterae) · Euclid

Very high

Data (demonstrationes alterae) · Euclid

Very high

Data (demonstrationes alterae) · Euclid

Very high

Data (demonstrationes alterae) · Euclid

Very high

Data (demonstrationes alterae) · Euclid

Very high

Data (demonstrationes alterae) · Euclid

Very high
Very high
Very high
Very high