Hän yritti siten kuvailla "kaikkea" aloittaen muutamasta aksiomista. Jokaisen "kaiken teorian" odotetaan samalla tavoin perustuvan aksiomeihin ja johtavan kaikki havaittavissa olevat ilmiöt niistä. Seuraamalla demokraattista atomismia, 1700-luvun mekaaninen filosofia esitti, että kaikki voimat voitaisiin lopulta vähentää atomien välisiin kosketusvoimiin, joita sitten kuviteltiin pieniksi kiinteiksi hiukkasiksi. 1700-luvulla Isaac Newtonin pitkän matkan painovoiman kuvaus merkitsi, että kaikki voimat eivät ole peräisin asioista, jotka tulevat kosketuksiin luonnossa.
muutamia axiomeja