FOM: second order logic and foundationalism

[holmes@catseye.idbsu.edu]

Re a few recent comments about second-order logic and foundationalism,
it should be noted that at least one of the defenders of the
usefulness of 2nd order logic in recent discussions (myself) is also a
foundationalist.  If anyone thought I was defending an
anti-foundationalist position, I would be completely mortified...

And God posted an angel with a flaming sword at | Sincerely, M. Randall Holmes
the gates of Cantor's paradise, that the       | Boise State U. (disavows all) 
slow-witted and the deliberately obtuse might | holmes at math.idbsu.edu
not glimpse the wonders therein. | http://math.idbsu.edu/~holmes