[logic-ml] quantum set theory