Spinozas hovedverk «Etikken» (1677) er komponert som en lærebok i geometri. Hvert bevis begynner med de nødvendige definisjonene og aksiomene, og så følger selve argumentasjonen som vanligvis slutter med bokstavene QED. QED er forkortelse for «quod erat demonstrandum» , «hvilket skulle bevises», som er trykt etter hvert bevis i Euklids håndbok i geometri, «Elementer», som ble skrevet på 200-tallet f.Kr.