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

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