... כזה אפשרי. שאלה: מה זה מחויב? אליעד: מחויב פירושו דבר שלא יכול להשתנות. מחויב פירושו דבר שתמיד חייב להיות קיים, בלי שום סיבה ובלי שום דבר שיכול לבטל אותו. אבל אין דבר כזה. למה
המצוי הראשון לא מחויב? כי יכול להיות גם לא מצוי ראשון.
המצוי הראשון, לא יכול להיות ראשון, למה? כי הוא לא מחויב. כי אם אתה אומר, זה הראשון, אז למעשה יש עוד אופציה, אם הגדרת אותו אז יש לו משהו במקביל. כשאתה אומר, זה הראשון וזה השני, זאת אומר ...