בקטגוריה זו מאוגדים ערכים של שיטות להוכחת משפטים מתמטיים.
קטגוריה זו כוללת את קטגוריית המשנה הבאה בלבד. (לתצוגת עץ)
דף קטגוריה זה כולל את 11 הדפים הבאים, מתוך 11 בקטגוריה כולה. (לתצוגת עץ)