A formal theory is described which incorporates the “assignment” function a ( i , k , ξ ) and the “contents” function c ( i , ξ ). The axioms of the theory are shown to comprise a complete and consistent set.
No takes yet. Share an insight, caveat, or question.
Donald M. Kaplan (1968) studied this question.