多项选择题
A.只承认可构造的无穷集合B.排斥非构造性数学C.认为数学的真理性等价于数学系统的相容性D.严格限制使用“排中律”
A.1B.没有和C.0D.1/2
A.万物皆数B.宇宙和谐C.将严格推理的法则系统化D.任意两条线段都是可公度的