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

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