On Tue, Jan 28, 2014 at 3:20 AM, Bruno Marchal <[email protected]> wrote:
>> A proof is a FINITE number of statements establishing the truth or >> falsehood of something; > > > > Not establishing the truth, but establishing the theoremhood. > I stand corrected; although it would be true if the axioms in the logical system you're using are true, and that's why you need to be very very careful before adding new axioms to your system. John K Clark -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
