我是一个直觉主义者，一直比较推崇构造型解法，对于非构造型解法即反证法自觉很不另人舒服，构造型解法给出了一种直观的例子，而反证法却依靠否定事实的反面而饶过了构造，这就好像明知存在却找不到，这不是让人急死吗！我觉得随着数学的向前发展，这种证法可能会被淘汰吧。就好像虚数和复数的出现那样，由一开始的怀疑和疑虑到后来由Guass，Wessel,Argand给出明确的几何意义，人门才放心接受了复数。的确一个数学上的事物只有让人切实感觉到才放心，好像一棵树一样立在那里让人放心。
大家认为呢？

与构造性证明对立的好像是存在性证明, 比如使用选择公理.

反证法是证明一个逻辑等价命题, 跟直觉不直觉没啥关系. 反证法经常用来证明某个对象不存在, 而不是证明存在性.