| http://www.w3.org/ns/prov#value | - I think what???s happening in your proof, from this perspective, is the construction of a particularly clever countably infinite set such that each fiber of is canonically isomorphic to , but by an isomorphism that is different in each fiber.
|
