多项选择题

A.只承认可构造的无穷集合
B.排斥非构造性数学
C.认为数学的真理性等价于数学系统的相容性
D.严格限制使用“排中律”