به نام زیبای مطلق

امروز تصمیم گرفتم تا حرفی رو که بارها با فلسفه و جامعه‌شناسی به دیگران زدم رو با ریاضیات ثابت کنم.

«نرم‌افزار آزاد متن‌باز نیست»

جمله‌ی بالا رو شاید خیلی‌هاتون قبول نداشته باشید چون جور دیگری به شما تلقین شده. برای همین مجبورم با یک استدلال ساده ریاضیات براتون بگم:

فرضیات مسئله:

X=آزادی کاربر

مجموعه A = متن‌باز

مجموعه B = آزاد

مسئله:

آیا مجموعه‌ی B زیرمجموعه‌ی A است؟

حل مسئله:

۱- با توجه به اینکه متغیر X در مجموعه‌ی A لزوما همیشه نیست.

۲- متغیر X همیشه عضو مجموعه‌ی B است.

در نتیجه:

یا علی