构造主义数学

不默认承认排中律(principle of exclusion medial, PEM)P ∨ ¬P，¬¬P=P
不默认承认构造性的选择公理

在某的体系中可以作为公理引入, 在某的体系中会有矛盾