Citation Hunt

The Wikipedia snippet below is not backed by a reliable source. Can you find one?

Click I got this! to go to Wikipedia and fix the snippet, or Next! to see another one. Good luck!

In page Axiom of empty set:

This text is part of the article's lead section, so referencing it may be optional. Please see WP:CITELEAD for more information.

"

In axiomatic set theory, the axiom of empty set,[1][2] also called the axiom of null set[3] and the axiom of existence,[4][5] is a statement that asserts the existence of a set with no elements.[3] Although Zermelo originally stipulated the existence of a set with no elements as an axiom[6][7] , it can be treated as either an axiom or a derivable truth depending on the specific set-theoretic context. It is an axiom of Kripke–Platek set theory[citation needed] and the variant of general set theory that Burgess (2005) calls "ST,"[8] and a demonstrable truth in Zermelo–Fraenkel set theory, with or without the axiom of choice.[9]