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