A remark on a certain consequence of connexive logic for Zermelo's set theory
Keyword(s):
Keyword(s):