Assertion list for term "zermelo-fraenkel set theory".

Results from Ascent++: 1
contradiction CreatedByzermelo-fraenkel set theory 0.44