| http://www.w3.org/ns/prov#value | - natural number iff> > > (Exist x. x is finite & for all y. y ~ # <-> y bijective to x)>> > > It is just straightforwards to interpret all primitive predicates of> > > PA by 'defined' relations in ZFC+forms.>> > > So PA is a mathematical Theory.>> > > This is what I paraphrase as PA supplying a consistent> > > discourse about form.
|
