Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —
в отличие от неконструктивного доказательства (также известного как чистая теорема существования), которое доказывает существование объекта с определёнными свойствами без предоставления конкретного примера. 
 Конструктивная математика отвергает всё, кроме конструктивного доказательства. 
Это приводит к ограничению на допустимые методы доказательства (в частности, закон исключенного третьего не используется), а также другому пониманию терминов. 
Например, термин «или» имеет более сильное значение в конструктивной математике, чем в классической.
 Иногда используется эквивалентный термин «эффективное доказательство».
 Сначала рассмотрим теорему о том, что существует бесконечное множество простых чисел.
Доказательство Евклида является конструктивным.
 Однако распространенное упрощение этого доказательства, которое ведётся методом от противного из предположения, что существует лишь конечное число простых, конструктивным не является.
 Предположим, что M — самое большое простое число. Тогда M! + 1 не делится ни на одно из имеющихся простых чисел — а значит, новое простое число.
 Возьмём какое-то простое число, например, a1 = 2. Строим последовательность a2 = 2! + 1, a3 = a2! + 1, и т. д. Все эти числа будут простыми.
 Теперь рассмотрим теорему
 Эта теорема может быть доказана конструктивно и неконструктивнo.
 Следующее доказательство Дова Джардена 1953 года широко использовалось в качестве примера неконструктивного доказательства, по крайней мере с 1970 года.
 Напомним, что 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
  
 иррационален.
Заметим, что 
  
    
      
        
          
            
              2
            
          
          
            
              2
            
          
        
      
    
    {\displaystyle {\sqrt {2}}^{\sqrt {2}}}
  
 рационально либо иррационально.
Если 
  
    
      
        
          
            
              2
            
          
          
            
              2
            
          
        
      
    
    {\displaystyle {\sqrt {2}}^{\sqrt {2}}}
  
 рационально, то теорема верна, с 
  
    
      
        a
        =
        
          
            2
          
        
      
    
    {\displaystyle a={\sqrt {2}}}
  
 и 
  
    
      
        b
        =
        
          
            2
          
        
      
    
    {\displaystyle b={\sqrt {2}}}
  
.
Если 
  
    
      
        
          
            
              2
            
          
          
            
              2
            
          
        
      
    
    {\displaystyle {\sqrt {2}}^{\sqrt {2}}}
  
 иррационально, то теорема верна, с 
  
    
      
        a
        =
        
          
            
              2
            
          
          
            
              2
            
          
        
      
    
    {\displaystyle a={\sqrt {2}}^{\sqrt {2}}}
  
 и 
  
    
      
        b
        =
        
          
            2
          
        
      
    
    {\displaystyle b={\sqrt {2}}}
  
 поскольку
 Это доказательство не является конструктивным, потому что оно опирается на утверждение, что любое число рационально или иррационально.
Это пример применения закона исключенного третьего, который не является допустимым в рамках конструктивного доказательства.
 Заметим, что неконструктивное доказательство не даёт пример 
  
    
      
        a
      
    
    {\displaystyle a}
  
 и 
  
    
      
        b
      
    
    {\displaystyle b}
  
; оно лишь дает несколько возможностей (в данном случае двух) и показывает, что одно из них есть нужный пример, но не говорит, какой.
 Пусть
 Оба числа иррациональны; 
  
    
      
        a
      
    
    {\displaystyle a}
  
 — квадратный корень из 2 и если 
  
    
      
        b
        =
        
          
            
              m
              n
            
          
        
      
    
    {\displaystyle b={\tfrac {m}{n}}}
  
, то 
  
    
      
        
          3
          
            2
            ⋅
            n
          
        
        =
        
          2
          
            m
          
        
      
    
    {\displaystyle 3^{2\cdot n}=2^{m}}
  
, что невозможно, так как первое число нечетное, а второе четное.