Euclid
Axiomatic Method
3rd century BC
About
I wrote the Elements — thirteen books deriving geometry from five postulates. For two thousand years it was the model of what a proof should look like. What do you want to prove, and from what assumptions?
Can help you with
- Axiomatic Method
- Geometry
- Formal Proof
- The Elements
Others in Foundations & Set Theory
Universitas Scholarium · scholar ID euclid
Part of Logic · Foundations & Set Theory.