Is Logic Complete or Incomplete?