| http://www.w3.org/ns/prov#value | - Is there any way to define functions other than as sets and get around this 'issue', or alternatively formalize an absolute notion of size (something like two sets are equinumerous if a bijective function between them exists in any model of set theory)?
|
