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