Not sure what your objection is. I introduced the notion of “incompletely defined predicate” to do away with Russell’s version of the predicate.
Not sure what your objection is. I introduced the notion of “incompletely defined predicate” to do away with Russell’s version of the predicate.