Editing Process philosophy (section)

=== Twentieth century ===
In the early twentieth century, the [[philosophy of mathematics]] was undertaken to develop mathematics as an airtight, axiomatic system in which every truth could be derived logically from a set of axioms. In the [[foundations of mathematics]],<ref>{{cite book | chapter-url=https://plato.stanford.edu/search/r?entry=/entries/mathematics-inconsistent/&page=1&total_hits=1087&pagesize=10&archive=None&rank=0&query=mathematics%20symbolic%20langue | title=The Stanford Encyclopedia of Philosophy | chapter=Inconsistent Mathematics | year=2022 | publisher=Metaphysics Research Lab, Stanford University }}</ref> this project is variously understood as [[logicism]] or as part of the [[Formalism (philosophy)|formalist]] program of [[David Hilbert]]. [[Alfred North Whitehead]] and [[Bertrand Russell]] attempted to complete, or at least facilitate, this program with their seminal book ''[[Principia Mathematica]]'', which purported to build a logically consistent [[set theory]] on which to found mathematics. After this, Whitehead extended his interest to natural science, which he held needed a deeper philosophical basis. He intuited that natural science was struggling to overcome a traditional ontology of timeless material substances that does not suit natural phenomena. According to Whitehead, material is more properly understood as 'process'.