| http://www.w3.org/ns/prov#value | - This is perhaps the most common place in practise in ZFC where one actually has to know how to show that something is a set or not (as opposed to a class), and in which one actually uses the full axiom set of ZFC rather than some core set of tools which could be easily replicated in any other reasonable foundational model.
|
