User blog comment:Ubersketch/Weird axiomatic system/@comment-30004975-20190606033153

Define "all of the axioms of ZFC".