| http://www.w3.org/ns/prov#value | - But without the existence of $\kappa$, even if you could consider the class of all sets of rank ???less than $\kappa$???, this would not be a set and the theorem ???there is a model implies the consistency of ZFC??? would not be applicable (because there is no model).
|
