|One, number 1: in modern logic it is not possible to introduce the number one directly. It must be introduced indirectly, via existential quantification ("for at least one x ...") and universal quantification ("for all x ..."). In addition, identity is needed. See also definition, identity, logic, elementary logic, number theory, numbers.|
Books on Amazon
Def "exactly one" / logical form / Prior: to say that precisely an individual fs is to say that as for some x, x fs and for every x and y, if x fs and y fs, then x is the same individual as y - only with "f-ing" instead of "F" (predicate) -
Property / predicate / Prior: this uses "f-ing" (digit verbs) instead of "F" (property) - but also
"Property to f- ’- but" the property of the ()-ing forms not a noun of a verb - but is part of the whole functor " ..is The same as .. "or the functor:" whatever () s, () s "- this is not aproperty, otherwise false equivalence: "property that is applied to anything" could then falsely equate mermaids and Pegasi.
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003