| http://www.w3.org/ns/prov#value | - The reason is that we can write a definition which defines uniquely every set in $H(\omega)$, such definition would be like there are five elements; one is the singleton of the set in which there are three elements ... (this sort of statements are long to write, even formally).
|
