 In response to Russell’s paradox,  David Hilbert  also expanded his program of building a consistent, axiomatic foundation for mathematics so that it included an axiomatic foundation for logic and set theory (Peckhaus 2004). Underlying this formalist approach was the idea of allowing the use of only finite, well-defined and constructible objects, together with rules of inference deemed to be absolutely certain.