Mathematik)写道:“把排中律从数学家那里拿走,就像把望远镜从天文学家那里拿走,或是从拳击手那里把拳头拿走一样” (排中律在构造性逻辑中不成立)。 ErrettBishop(英语:ErrettBishop),在他1967年的著作《构造性分析学基础》(Foundations of Constructive
describes the development of the calculus over the computable number field. ErrettBishop and Douglas Bridges, Constructive Analysis, Springer, 1985, ISBN 0-387-15066-8