שיטות הוכחה - מבוא