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