| http://www.w3.org/ns/prov#value | - There is a trickier question we can ask, and which you are asking I think, namely, can we conjure up a functor $F$ such that its limit is a set whose very existence itself is independent of ZFC. For example, one might try to come up with an $F$ whose limit is a Suslin line.
|
