3 ms·

Ok, what about it?

• pixl97 14y ago
  I'm sorry, did you not happen to read that page?
• explicate 14y ago
  If my understanding is correct I think he was referring to the fact that even if you have the axioms and an algorithm to figure out all the theorems, you can't prove all the truths. There will be blind spots.
  • tprice7 14y ago
    Thank you for the explanation. For a given set of axioms you have the same "blind spots" whether you are verifying proofs manually or with computer assistance.