شرح البراهين

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