غالبًا ما يُنظر إلى الرياضيات الرمزية والبراهين الرسمية على أنها أعلى سلطة في التفكير الأكاديمي. ومع ذلك، تعمل الأنظمة الشكلية فقط بعد اتخاذ قرار مسبق بشأن ما إذا كانت السؤال أو الكائن أو النظام مقبولًا للوجود أو المطاردة. يقدم هذا البحث إطارًا يعتمد على الأولوية لقابلية القبول، والذي يوضح الاعتماد الهيكلي بين قيود قابلية القبول، والتفكير الرمزي الرسمي، والبراهين، والتنفيذ. يجادل بأن الرياضيات الرمزية هي محرك شرطي يعمل بعد قرارات قابلية القبول التي لا يمكنه اشتقاقها أو تبريرها داخليًا. من خلال فصل قابلية القبول، والشكلية، والتنفيذ بوضوح، يشرح هذا الإطار كيف يمكن للأنظمة التقنية الصحيحة أن تنتج ضررًا لا يمكن عكسه، ولماذا لا تشكل البراهين إذنًا، ولماذا تعتبر الرفض وعدم التنفيذ نتائج أكاديمية صحيحة. يعتبر الإسهام نظريًا ميتا وعابرًا للتخصصات، يهدف إلى تحسين الصرامة والسلامة في مجالات البحث الرسمية ذات التأثير العالي.
درس جيسي توهي (مون) هذا السؤال.