从构建性看数学真理
종구건성간수학진리