http://www.w3.org/ns/prov#value | - >> as well: infinite elements.>> > Indeed an infinite set is a set, i.e. an actual (i.e. completed, in the> > math sense) infinity, while N is the potentially infinite. ??My hunch is> > that we should be using N* (the compactification of N, to begin with) as> > the counting set outside the finite realms: then arithmetic and set> > theory could indeed be equi
|