| http://www.w3.org/ns/prov#value | - For such a second-orderist, (i) moving to a two-sorted first-order theory is changing the meaning of the quantifiers, and (ii) the second-order quantifiers construed as necessarily running over the full powerset are the regimentation of the quantifiers we find in various bits of informal mathematical reasoning. (I am not necessarily endorsing that view, just noting that there is a real issue for de
|
