Re: Choice Question

george wrote: 
There is CLEARLY (from context) some sort of EXTENDED
notion of equivalence being sought here, in an at least partly
INformal sense.

The sentences EfAxP(x,f(x)) and AxEyP(x,y) are equivalent in the perfectly standard sense of both being true in exactly the same models.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
 - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.