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