 Entscheidungsproblem The problem to decide for every statement in first-order logic (the so-called restricted functional calculus, see the entry on  classical logic  for an introduction) whether or not it is derivable in that logic.