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