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