"[T]he proposition: A function is either differentiable or not differentiable. says nothing; it expresses the same as... If a function is not differentiable, then it is not differentiable. But the logician... projects a mathematical system, and calls such... an application of the tertium non datur."