[logic-ml] comparing material and structural set theories