Assertion list
contradiction (primary) → CreatedBy
Results from Ascent++: 2
contradiction → CreatedBy → zermelo-fraenkel set theory 0.44
contradiction → CreatedBy → axiomatic theory 0.25