منهجية الاستدلال في المبرهنات، باستخدام الموضوعات، تكون حسب البناء التالي:
- الهدف هو إثبات صحة مبرهنة انطلاقا من مجموعة من المسلمات وعبارات منطقية أخرى، تمت البرهنة عليها سابقا.
- نعتبر عبارة منطقية ونبرهن على أنه إذا تحققت يمكن إثبات مباشرة (أو عبر عدد قليل من المراحل الإضافية). هي الليمة أو الموضوعة.
- نقوم بالبرهنة على .
Source: wikipedia.org