Hi,
I have a situation where I want to define a function over all possible rings. For example, I would like to define a function that accepts a ring as an input and returns its additive identity. However, this seems impossible to do in ZF set theory since we can not define the domain of...