Correct. Nor does “There is no time of death” refer to a set. You can model it as quantifying over a “set of times” if you like, just as Peano arithmetic can be modeled as quantifying over a “set of numbers”, but this does not mean the theory refers to sets, or infinity.
Correct. Nor does “There is no time of death” refer to a set. You can model it as quantifying over a “set of times” if you like, just as Peano arithmetic can be modeled as quantifying over a “set of numbers”, but this does not mean the theory refers to sets, or infinity.