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