Á eftir atómfræði Demókrata, vélfræðilega heimspeki 17. aldar hélt því fram að öll öfl gætu í lokin verið dregið niður í snertingaröfl milli atóma, þá ímyndað sem litlar fastar deildir. Á 17. öld, lýsing Isaac Newton á langfjarlægðargáfu þyngdarafl þýddi að ekki öll öfl frá hlutum í náttúrunni komust í snertingu. Í ritfræðiverkefni sínu í náttúrufræðilegum meginreglum um náttúrufræðina fjallaði Archimedes um þetta dæmi um einföldun, í þessu tilviki til að sameina lögmáli nokkurra axioma. Allar "kenningar um allt" er álíka gert ráð fyrir að byggja á axioma og draga úr öllum greinanlegum fyrirbæri frá þeim.
Nokkrar forsendur