FOM: 'platonism' again & indef ext

[Stephen Ferguson]

Name: Stephen Ferguson
Position: philosophy grad student 'on the verge of submission'
Institution: St Andrews University, Scotland
Research interests: philosophy of mathematics, logic, philosophy of
language, philosophy of science.
For more information: http://www.st-and.ac.uk/~www_spa/STUDENTS/srf1

In the discussion of the early occurances of 'Platonism', reference was
made to 'impredicativity': okay so this is off at a tangent, but I
wondered: who was the first person to use the notion 'indefinitly
extensible': I know Poincare and Russell use it, but it seems Weyl may
have used it too. Anyone able to help?

Yours

Stephen