Deductive lambda calculus#Logical inconsistency