قضیه: تفاوت میان نسخه‌ها

رده‌بندی گروه‌های متناهی ساده توسط برخی درنظردر نظر گرفته شده‌است که طولانی‌ترین اثبات یک قضیه می‌باشد که ده‌ها هزار صفحه در ۵۰۰ مقاله ژورنال‌ها به وسیلهٔ ۱۰۰ نویسنده را دربرداشته‌است. این برگه‌ها با هم بر این باور بودند که یک اثبات کامل ارائه دهند و چندین پروژه در حال پیشرفت نیز امید دارند که این اثبات را ساده‌تر کنند. قضیه دیگر از این نوع، قضیه ۴ رنگ می‌باشد که اثبات انجام شده توسط کامپیوتر آنقدر طولانی است که امکان خواندن برای افراد وجود ندارد. دقیقاً طولانی‌ترین اثبات شناخته شده قضیه‌ای که گزاره آن به سادگی توسط یک شخص عام فهمیده می‌شود.{{مدرک}}