FOM: finite choice

[Vaughan Pratt]

Kanovei:
>Finite choice is a "single theorem" of ZF and Z, 
>easily provable by induction on the number of 
>the non-empty sets considered. See any relevant 
>textbook. 

Simpson:
>Huh?  The choice principle for all finite sequences of nonempty sets
>is well known and easily seen to be a single theorem of ZF (or of Z
>for that matter).

Indeed.  The bug in my "proof" is all too embarrassingly evident in
hindsight.  All the more unfortunate given that I did not need it for
my point.

Vaughan Pratt