هوپا، انجمن علم ایران

یک مجموعه را به صورت زیر میخواهیم بسازیم:
در هر بار پرتاب یک سکه،اگر شیر بیاد ما میگوییم 0به مجموعه تعلق داره و اگه خط اتفاق بیفته میگوییم1به مجموعه تعلق داره.
حالا چن سوال در اینباره مطرح میشن:
اینکه آیا به راستی این ساختار یک مجموعه است؟
به عبارت دیگه آیا این ساختار (مجموعه)با ZFیاZFCدچار یک پارادوکس نخواهد شد؟
سوال دیگر اینکه این مجموعه(اگر واقعا یک مجموعه باشه)چند عضو داره.ما بطور شهودی میدونیم که این مجموعه حداکثر دو عضو بیشتر نداره.
یک مجموعه بطور شهودی اعضای آن باید مشخص باشند بعبارت دیگر ما باید بتونیم با یک الگوریتم متناهی پی ببریم که یک عضو مشخص به این مجموعه تعلق داره یا نه؟