פורטל:מתמטיקה/הידעת?/25

השורש הריבועי של 2, שהוכח בדרך השלילה שהוא אי רציונלי, הוא אורכו של היתר במשולש ישר-זווית שאורך ניצביו הוא 1.

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