Both the Ash'aris and Maturidis follow occasionalism, a philosophy which refutes the basis for causality, as David Hume did in Europe many centuries later, but also proves the existence and nature of the Islamic belief of the tawhid (oneness of God) through formal logic.