FOM: reference of mathematical discourse

[Neil Tennant]

Randall,

given you view of the applicability of mathematics to the real world,
as explained in your recent posting, how would you explain to a constructivist
--who balks at the acceptance of completed infinities--the validity (for the
constructivist) of the inference

	Jack went up the hill
	Jill went up the hill
	Jack is not Jill
	Jack is a person
	Jill is a person
	So, the number of people who went up the hill = s(s(0))		?

Neil Tennant