اینکه من گفتم فلسفه مادرِ علوم و مادرِ منطق است، از جهتِ تقدمِ تاریخی است.
بله داریم: مثلا مجموعهی اعدادِ طبیعی از مجموعهی اعدادِ طبیعیِ زوج و فرد تشکیل شده، اما نه از آنها بزرگتر است، نه کوچکتر است و نه با آنها مساویست. البته در حسابِ بینهایتها، مثلا بینهایتِ زوج یا بینهایتِ منفی (∞-) با بینهایت متفاوت است، اما همچنان اینجا ما کلی داریم که از جزء ِ خود بزرگتر یا مساوی نیست.