FOM: Frege and Dedekind on Numbers

[wtait@ix.netcom.com]

Walter, regarding

>That existence proofs [for recursively defined functions] can also be 
performed
>   from above seems first to have been noticed by Paul
>   Lorenzen 38 .
 I believe that Frege, in his *Grundgesetze II* constructs from above. 
Can this construction be extended in second-order set theory to functions 
defined by recursion on the transfinite ordinals? 

Bill Tait