Great post. Though Lean terminology doesn't jive with the meaning of "valid" and "truth" that I learned in my logic class. Shouldn't we be testing our hypothese

Great post. Though Lean terminology doesn't jive with the meaning of "valid" and "truth" that I learned in my logic class. Shouldn't we be testing our hypotheses for "truth" rather than "validity"? See http://en.wikipedia.org/wiki/Validity http://en.wikipedia.org/wiki/Validity