Deductive lambda calculus#Inconsistency with the Principle of Bivalence