Translate the following into English Let C denote an arbitra

Translate the following into English. Let C denote an arbitrary collection of individuals (we use different brackets to aid in pairing them up.)

Vk eNrzhe N |(ICI > n) S C Cr (ISI > k) ((Vz, ye S(Fiz. yl)V (tr.ue S. ,r y(F(z.yn

Solution

It states that for all k innatural numbers there exist a natural number n such that cardinality of C 8s greater than or equal to n .

This implies that there exist a subset S of C where cardinality of S is greater than equal to k and for all x,y in S define F(x,y) or for all x,y in S x is not same as y and is nit in the family of yF(x,y)