| http://www.w3.org/ns/prov#value | - Believers in 1 + 1 = 2 did better than believers in its alternatives because, for any properties F, G, and H, if there is ???exactly one??? F that is G, and there is ???exactly one??? H that is G, and no F is an H, then and there are ???exactly two??? Fs or Hs that are G (I prefer mereological or impure set-theoretic truths to such truths for reasons alluded to in fn. 41).
|
