FOM: finite choice

Vaughan Pratt pratt at cs.Stanford.EDU
Sun Mar 1 14:43:14 EST 1998

>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 

>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

More information about the FOM mailing list