הוכחה
הוכחה היא סדרה של טענות שמראות שטענה מסוימת נכונה. כל טענה בונה על קודמתה בעזרת חוקים פשוטים. הפרכה היא הוכחה שהטענה לא נכונה. טענה שאף אחד עדיין לא הוכיח קוראים לה השערה. הוכחות משתמשות גם בשפה רגילה וגם בכללים ברורים. כדי למנוע בלבול אפשר לכתוב הוכחה פורמלית, שזה כמו הוראות ברורות ללא מקום לפרשנו...