בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון. במילים אחרות: אם הנחת טיעון מסוים מובילה לסתירה לוגית, אזי ניגודה של הנחה זו בהכרח נכון. בלטינית מכונה Reductio ad absurdum – רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם - רדוקציה לאבסורד ("צמצום לאבסורד"), כלומר טענה שמובילה למצב לא⁻הגיוני. מתוך ויקיפדיה

על הדרך עץ עומד (במקור ביידיש: אויפֿן וועג שטייט אַ בוים; בתעתיק אנגלי: Oyfn veg shteyt a boym), הוא שיר יידי מאת איציק מאנגר שנכתב בוורשה בירת פולין בשנת 1938, התפרסם לראשונה ב⁻21 באפריל 1938 בעיתון הוורשאי "נײַע פֿאָלקסצײַטונג" ולאחר מכן נכלל בקובץ שיריו "וואָלקענס איבערן דאַך" (עננים מעל הגג), שראה אור בשנת 1942 בלונדון בהוצאה 'אַליינעניו' (לבדי), הוצאה עצמית של המחבר. שירו של מאנגר הוא גרסה למוטיב העממי היהודי של עץ כפוף העומד על אם הדרך. גרסתו המפורסמת של שיר עממי זה מספרת על יהודי שנוסע לארץ ישראל בעיניים דומעות ועל שמחת בית ישראל כשייסעו לארץ. מתוך ויקיפדיה

"על הדרך עץ עומד" (במקור ביידיש: "אויפן וועג שטייט א בוים"; בתעתיק אנגלי: "Oyfn veg shteyt a boym"), הוא שיר יידי מאת איציק מאנגר שנכתב בוורשה בירת פולין בשנת 1938, התפרסם לראשונה ב⁻21 באפריל 1938 בעיתון הוורשאי "נײע פאלקסצײטונג" ולאחר מכן נכלל בקובץ שיריו "וואלקענס איבערן דאך" (עננים מעל הגג), שראה אור בשנת 1942 בלונדון בהוצאה 'אליינעניו' (לבדי), הוצאה עצמית של המחבר. שירו של מאנגר הוא גרסה למוטיב העממי היהודי של עץ כפוף העומד על אם הדרך. גרסתו המפורסמת של שיר עממי זה מספרת על יהודי שנוסע לארץ ישראל בעיניים דומעות ועל שמחת בית ישראל כשייסעו לארץ. מתוך ויקיפדיה

הוכחה בנסיגה אינסופית, הוכחה בנפנוף ידיים, הוכחה בנפנופי ידיים, הוכחה בשלילה, הוכחה לא קונסטרוקטיבית, הוכחה פורמלית, הוכחה קונסטרוקטיבית, הוכחה ש⁻e טרנסצנדנטי, הוכחה שגויה, הוכחה שיקרית