در علم ریاضیات، مفاهیم بسیار مبهمی وجود دارد که بهسختی میتوان آنها را در ذهن پذیرفت؛ مثلاً تا به امروز همه ما فکر میکردیم که معنا و مفهوم علامت مساوی (=) را بهخوبی درک کردهایم.
به گزارش سیتنا، به نظر میرسد که ریاضیدانان نمیتوانند در مورد تعریف علامت مساوی (=) که دو چیز را باهم برابر میداند، به توافق برسند. این اختلاف ممکن است برای برنامههای رایانهای که در بررسی اثباتهای ریاضی مورداستفاده قرار میگیرند، دردسرساز شود.