Badiou's use of set theory in this manner is not just illustrative or heuristic. Badiou uses the axioms of Zermelo–Fraenkel set theory to identify the relationship of being to history, Nature, the State, and God. Most significantly this use means that (as with set theory) there is a strict prohibition on self-belonging; a set cannot contain or belong to itself. This results from the axiom of foundation – or the axiom of regularity – which enacts such a prohibition (cf. p. 190 in "Being and Event"). (This axiom states that every non-empty set A contains an element y that is disjoint from A.) Badiou's philosophy draws two major implications from this prohibition. Firstly, it secures the inexistence of the 'one': there cannot be a grand overarching set, and thus it is fallacious to conceive of a grand cosmos, a whole Nature, or a Being of God. Badiou is therefore – against Georg Cantor, from whom he draws heavily – staunchly atheist. However, secondly, this prohibition prompts him to introduce the event. Because, according to Badiou, the axiom of foundation 'founds' all sets in the void, it ties all being to the historico-social situation of the multiplicities of de-centred sets – thereby effacing the positivity of subjective action, or an entirely 'new' occurrence. And whilst this is acceptable ontologically, it is unacceptable, Badiou holds, philosophically. Set theory mathematics has consequently 'pragmatically abandoned' an area which philosophy cannot. And so, Badiou argues, there is therefore only one possibility remaining: that ontology can say nothing about the event.